Fellow
United States – 2016
CITATION

For contributions to verification, programming languages, and software engineering.

ACM Distinguished Member
United States – 2014