John Guttag

from Wikipedia, the free encyclopedia

John Vogel Guttag (* 1949 ) is an American computer scientist . He is a professor at the Massachusetts Institute of Technology (MIT).

Biographies

Guttag graduated from Brown University with a bachelor's degree in English in 1971 and a master's degree in applied mathematics in 1972 and received his doctorate in computer science from Jim Horning (James J. Horning) at the University of Toronto in 1975 ( The specification and application to programming of abstract data types ). He was later a professor at MIT, where he was deputy head of the computer science faculty from 1993 to 1998 and director of the faculty for electrical engineering and computer science (EECS) at MIT from 1999 to 2004. He heads the Network and Mobile Systems group in CSAIL .

Among other things, he dealt with software technology , automatic evidence systems, hardware verification , software defined radio and software applications in medicine. In 1975 he developed the concept of abstract data types (ADT) in his dissertation based on the work of predecessors. An essential part of the concept is information hiding . While the ADT concept was largely rejected when it was first introduced, it later gained acceptance and was implemented in many programming languages.

He is a Fellow of the American Academy of Arts and Sciences (2005) and the Association for Computing Machinery (ACM, 2006).

Fonts

  • Abstract Data Types and the Development of Data Structures , Communications of the ACM, Volume 20, 1977, Issue 6
  • with Barbara Liskov : Program Development in Java; Abstraction, Specification, and Object-oriented Design , Addison-Wesley 2000
  • with James J. Horning Larch: Languages ​​and Tools for Formal Specification , Springer Verlag 1993

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project