John Guttag information

John Vogel Guttag (born March 6, 1949) is an American computer scientist, professor, and former head of the department of electrical engineering and computer...

used by relatively naïve users. LP was developed by Stephen Garland and John Guttag at the MIT Laboratory for Computer Science with assistance from James...

work, called SpectrumWare, under supervisors David L. Tennenhouse and John Guttag. The technology was licensed from MIT in 1999 after several rounds of...

advisers were Ronald Rivest and John Reiser. In 1983, she earned her Ph.D. in Computer Science at MIT under John Guttag. She is a fourth-degree black belt...

Charles E. Leiserson, Patrick Winston, Ronald L. Rivest, Barbara Liskov, John Guttag, Jerome H. Saltzer, Frans Kaashoek, Clifford Stein, and Nancy Lynch David...

programmer Masi Oka. Other alumni include former CS department head at MIT, John Guttag, software-defined networking pioneer Scott Shenker, Workday founder,...

Engineering from MIT, where he also earned his Ph.D. in 1996, under adviser John Guttag. Stata's father, Ray Stata, was founder and chairman of Analog Devices...

N. Ferguson, Empirix Chairman of the Board; John D’Anna, Empirix Chief Executive Officer; and John Guttag, Professor of Computer Science and Engineering...

his involvement with the Larch approach to formal specification with John Guttag (MIT) et al. A Compiler Generator (with William M. McKeeman and D. B...

Institute for Advanced Study; co-inventor of intersection homology John Guttag (A.B. 1971) – Chair of the Electrical Engineering and Computer Science...

co-developer of the language Oberon, developer of the language Zonnon John Guttag, co-developer of the Larch family of formal specification languages and...

Barbara; Guttag, John (1986). Abstraction and Specification in Program Development. MIT Press. ISBN 978-0-262-12112-5. Liskov, Barbara; Guttag, John (2000)...

Utah (1987-present) Thesis A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm  (1987) Doctoral advisor John Guttag...

formal specifications, including the Larch Prover (LP). Formal methods Guttag, John V.; Horning, James J. (1993). Larch: Languages and Tools for Formal Specification...

20th-century American political philosopher. He held the Irwin & Marjorie Guttag Professorship of Ethics and Political Philosophy at Syracuse University...

Thomas; Yelick, Katherine (2005). UPC: Distributed Shared Memory Programming. John Wiley & Sons. ISBN 978-0-471-47837-9. "Sparsity". University of California...

and Patterns. Prentice Hall. ISBN 978-0-13-148906-6. Liskov, Barbara; Guttag, John (2000). Program Development in Java: Abstraction, Specification, and...

PMC 6269230. PMID 29845645. Wu, Hao-Yu; Rubinstein, Michael; Shih, Eugene; Guttag, John; Durand, Frédo; Freeman, William (2012-08-05). "Eulerian video magnification...

communications". MIT News Office. 2001-02-27. Retrieved 2010-10-04. Guttag, John (2003). The Electron and the Bit, Electrical Engineering and Computer...

"Quarter Century Club inducts 73 new members". Retrieved 2007-06-19. John V. Guttag (2000). "MIT Reports to the President 1999–2000 – Department of Electrical...

competitor Himax to supply components for Google Glass; however, analyst Karl Guttag stated to Seeking Alpha that he saw this as unlikely. Kopin also manufactures...

Glass. Archived from the original on May 20, 2019. Retrieved May 23, 2019. Guttag, Karl (June 23, 2013). "Proof That Google Glass Uses A Himax LCOS Microdisplay"...

D. Gropp Roch Guerin John V. Guttag Laura M. Haas Alon Yitzchak Halevy Anthony C. Hearn Thomas A. Henzinger Norman P. Jouppi John E. Laird James R. Larus...