Fellow
United States – 2005
CITATION

For contributions to automated program analysis and synthesis.

ACM Doctoral Dissertation Award
United States – 1983
CITATION

For his dissertation "Generating Language-Based Environments."