Fellow
United States – 2003
CITATION

For contributions to the engineering of reliable and secure software.