Джон Гуттаг - John Guttag
Джон Гуттаг | |
|---|---|
 | |
| Родившийся | 1949 (71–72 года) |
| Альма-матер |
Университет Брауна, Университет Торонто |
| Научная карьера | |
| Тезис | Спецификация и применение к программированию абстрактных типов данных (1975) |
| Докторант | Джим Хорнинг |
| Докторанты | |
| Веб-сайт | люди |
Джон Фогель Гуттаг (родился 6 марта 1949) является американский ученый , профессор, бывший глава отдела электротехники и компьютерных наук в Массачусетском технологическом институте .
Образование и карьера
Джон Гуттаг вырос в Ларчмонте, штат Нью-Йорк , в семье Ирвина Гуттага (1916–2005) и Марджори Фогель Гуттаг.
John Vogel Гуттаг получил степень бакалавра в области английского языка из Университета Брауна в 1971 году и степень магистра в области прикладной математики с Брауном в 1972 г. В 1975 г. он получил докторскую степень в области компьютерных наук из Университета Торонто . Он был членом факультета Университета Южной Калифорнии с 1975 по 1978 год, а в 1979 году поступил на факультет Массачусетского технологического института .
С 1993 по 1998 год он работал заместителем начальника отдела информатики в отделе электротехники и информатики Массачусетского технологического института. С января 1999 г. по август 2004 г. он занимал должность начальника этого отдела. EECS, в котором обучается около 2000 студентов и 125 преподавателей, является крупнейшим отделением Массачусетского технологического института. Он помог студенту Вану Бозу основать компанию по разработке программно-определяемых радиотехнологий в Массачусетском технологическом институте.
Гуттаг также является со-руководителем группы по сетям и мобильным системам лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института . Эта группа изучает вопросы, связанные с компьютерными сетями, приложениями сетевых и мобильных систем, а также передовыми программными медицинскими инструментами и системами принятия решений. Он также проводил исследования, публиковал и читал лекции в области программной инженерии , механического доказательства теорем , проверки оборудования , компиляции , программного обеспечения и медицинских вычислений .
Гуттаг входит в совет директоров компаний Empirix и Avid Technology , а также в попечительский совет Массачусетского института медицинских профессий больницы общего профиля . Он является членом Американской академии искусств и наук . В 2006 году он был введен как сотрудник в Ассоциации вычислительной техники . Он является одним из основателей Health [at] Scale Technologies, компании, занимающейся машинным обучением и искусственным интеллектом .
Избранные публикации
- Syed, Z .; Лидс, Д .; Curtis, D .; Guttag, J .; Nesta, F .; Левин, РА (2006). «Аудиовизуальные инструменты для компьютерной диагностики сердечных заболеваний». 19-й симпозиум IEEE по компьютерным медицинским системам (CBMS'06) . С. 207–212. DOI : 10.1109 / CBMS.2006.50 .
- Shoeb, A .; Эдвардс, H .; Connolly, J .; Буржуазный, Б .; Treves, T .; Гуттаг, Дж. (2004). «Обнаружение начала приступа у конкретного пациента» (PDF) . 26-я ежегодная международная конференция общества инженеров IEEE в медицине и биологии . 1 . С. 419–422. DOI : 10.1109 / IEMBS.2004.1403183 . hdl : 1721,1 / 17991 . ISBN 0-7803-8439-3 .
- Лисков, Варвара ; Гуттаг, Джон В. (2000). Разработка программ на Java: абстракция, спецификация и объектно-ориентированный дизайн . Эддисон-Уэсли . ISBN 0-201-65768-6 .
- Гарленд, SJ; Джонс, KD; Modet, A .; Крыло, Дж. М. (1993). Guttag, СП ; Хорнинг, JJ (ред.). Лиственница: языки и инструменты формальной спецификации . Springer-Verlag . DOI : 10.1007 / 978-1-4612-2704-5 . ISBN 978-1-4612-7636-4 . S2CID 13066418 .
- Гуттаг, Дж. (Июнь 1977 г.). «Абстрактные типы данных и разработка структур данных». Comm. ACM . 20 (6): 396–404. DOI : 10.1145 / 359605.359618 . S2CID 18567275 .