Fellow
United States – 2016
CITATION

For contributions to making program verification accessible and practical.