Fellow
United States – 2013
CITATION

For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages.