Principal Investigator, MIT CSAIL
Professor, MIT CSAIL
John Guttag earned an A.B. in English and an M.S. in Applied Mathematics from Brown University and a PhD in Computer Science from the University of Toronto. In 1999, Guttag served as the Head of MIT’s Electrical Engineering and Computer Science Department and as the Associate Department Head for Computer Science. Currently, Guttag co-heads MIT Computer Science and Artificial Intelligence Laboratory’s (CSAIL) Networks and Mobile Systems Group. In addition, Guttag has done research, published, and lectured in the areas of software engineering, mechanical theorem proving, hardware verification, compilation, and software radios. Some of his awards include: Board of Directors of Empirix, Inc., Board of Trustees of the MGH Institute of Health Professions, member of the American Academy of Arts and Sciences, and a fellow of the ACM.
