John Guttag
From Wikipedia, the free encyclopedia
John V. Guttag is an American Computer Scientist, Professor and former Head of the Department of Electrical Engineering and Computer Science at MIT.
John Guttag received a bachelor's degree in English from Brown University in 1971, and a master's degree in Applied Mathematics from Brown in 1972. In 1975, he received a doctorate in Computer Science from the University of Toronto. He was a member of the faculty at the University of Southern California from 1975 to 1978, and joined the Massachusetts Institute of Technology faculty in 1979.
From 1993 to 1998, he served as Associate Department Head for Computer Science of MIT's Electrical Engineering and Computer Science Department. From January of 1999 through August of 2004, he served as Head of that department. EECS, with approximately 2000 students and 125 faculty members, is the largest department at MIT.
Guttag also co-heads the MIT Computer Science and Artificial Intelligence Laboratory's Networks and Mobile Systems Group. This group studies issues related to computer networks, applications of networked and mobile systems, and advanced software-based medical instrumentation and decision systems. He has also done research, published, and lectured in the areas of software engineering, mechanical theorem proving, hardware verification, compilation, software radios, and medical computing.
Guttag currently serves on the technical advisory board of Vanu, Inc., on the Board of Directors of Empirix and Avid Technologies, and on the Board of Trustees of the Massachusetts General Hospital Institute of Health Professions. He is also a member of the American Academy of Arts and Sciences. In 2006 he was inducted as a Fellow of the Association for Computing Machinery.
[edit] Selected publications
- Z. Syed, D. Leeds, D. Curtis, F. Nesta, R. Levine, and J. Guttag, "Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders," Computer Based Medical Systems 2006, (June 2006).
- A. Shoeb, H. Edwards; J. Connolly; B. Bourgeois; T. Treves, and J. Guttag, "Patient-Specific Epileptic Seizure Onset Detection," 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, (September 2004).
- Program Development in Java; Abstraction, Specification, and Object-oriented Design, with Barbara Liskov, Addison-Wesley, (2000). ISBN 0-201-65768-6.
- Larch: Languages and Tools for Formal Specification, with J. J. Horning, Springer-Verlag (1993). ISBN 0387940065 & ISBN 0-540-94006-5
- "Abstract Data Types and the Development of Data Structures," Communications of the ACM, vol. 20, no. 6 (1977).
