Fellow
United States – 2016
CITATION

For contributions to software modeling and the creation of the modeling language Alloy.