Fellow
United States – 2007
CITATION

For contributions to type theory and program analysis.