John Guttag

John Guttag
Född	1949 (73–74 år)
Alma mater	Brown University University of Toronto
Vetenskaplig karriär
Avhandling	Specifikationen och tillämpningen för programmering av abstrakta datatyper ( 1975)
Doktorandrådgivare	Jim Horning
Doktorander	Jeannette Wing Joseph Zachary Katherine Yelick Daniel Jackson Raymie Stata Vanu Bose
Hemsida	människor .csail .mit .edu /guttag /

John Vogel Guttag (född 6 mars 1949) är en amerikansk datavetare , professor och tidigare chef för avdelningen för elektroteknik och datavetenskap vid MIT .

Utbildning och karriär

John Guttag växte upp i Larchmont, New York , son till Irwin Guttag (1916–2005) och Marjorie Vogel Guttag.

John Vogel Guttag fick en kandidatexamen i engelska från Brown University 1971 och en magisterexamen i tillämpad matematik från Brown 1972. 1975 doktorerade han i datavetenskap från University of Toronto . Han var medlem av fakulteten vid University of Southern California från 1975 till 1978 och började på Massachusetts Institute of Technology- fakulteten 1979.

Från 1993 till 1998 var han biträdande avdelningschef för datavetenskap vid MIT:s avdelning för elektroteknik och datavetenskap. Från januari 1999 till augusti 2004 var han chef för den avdelningen. EECS, med cirka 2000 studenter och 125 fakultetsmedlemmar, är den största institutionen vid MIT. Han hjälpte studenten Vanu Bose att starta ett företag med mjukvarudefinierad radioteknik utvecklad vid MIT.

Guttag leder också MIT Computer Science and Artificial Intelligence Laboratorys Networks and Mobile Systems Group. Denna grupp studerar frågor relaterade till datornätverk, tillämpningar av nätverksanslutna och mobila system, och avancerad mjukvarubaserad medicinsk instrumentering och beslutssystem. Han har också forskat, publicerat och föreläst inom områdena mjukvaruteknik , mekaniska teorembevisande , hårdvaruverifiering , kompilering , mjukvaruradio och medicinsk datoranvändning .

Guttag sitter i styrelsen för Empirix och Avid Technology , och i styrelsen för Massachusetts General Hospital Institute of Health Professions. Han är medlem i American Academy of Arts and Sciences . 2006 valdes han in som fellow i Association for Computing Machinery . Han är en av grundarna av Health[at]Scale Technologies, ett företag för maskininlärning och artificiell intelligens .

Utvalda publikationer

• Syed, Z.; Leeds, D.; Curtis, D.; Guttag, J .; Nesta, F.; Levine, RA (2006). "Audio-visuella verktyg för datorstödd diagnos av hjärtsjukdomar". 19:e IEEE-symposiet om datorbaserade medicinska system (CBMS'06) . s. 207–212. doi : 10.1109/CBMS.2006.50 .
•   Shoeb, A.; Edwards, H.; Connolly, J.; Bourgeois, B.; Treves, T.; Guttag, J. (2004). "Patientspecifik upptäckt av anfallsdebut" (PDF) . Den 26:e årliga internationella konferensen för IEEE Engineering in Medicine and Biology Society . Vol. 1. s. 419–422. doi : 10.1109/IEMBS.2004.1403183 . hdl : 1721.1/17991 . ISBN 0-7803-8439-3 .
•   Liskov, Barbara ; Guttag, John V. (2000). Programutveckling i Java: abstraktion, specifikation och objektorienterad design . Addison-Wesley . ISBN 0-201-65768-6 .
•    Garland, SJ; Jones, KD; Modet, A.; Wing, JM (1993). Guttag, JV ; Horning, JJ (red.). Lärk: Språk och verktyg för formell specifikation . Springer-Verlag . doi : 10.1007/978-1-4612-2704-5 . ISBN 978-1-4612-7636-4 . S2CID 13066418 .
•   Guttag, J. (juni 1977). "Abstrakta datatyper och utveckling av datastrukturer" . Comm. ACM . 20 (6): 396–404. doi : 10.1145/359605.359618 . S2CID 18567275 .

externa länkar

• MIT Bio
• CSAIL Bio
• Health at Scale Technologies