Professor
John V. Guttag
Massachusetts Institute of Technology
Computer scientist; Educator
Area
Mathematical and Physical Sciences
Specialty
Computer Sciences
Elected
2005
Known for work on abstract data types, program specifications, and the Larch specification language. Developed the algebraic approach for specifying abstract data types.
Last Updated