John Gregory Morrisett is a computer science scholar who has been serving as dean and vice provost of Cornell Tech in New York City since June 2019.[1] Previously he served as dean for computing and information science at Cornell University in Ithaca from 2015 to 2019 and director of the Center for Research on Computation and Society at Harvard University from 2012 to 2014.[1][2][3]
Morrisett received a Bachelor of Science with major in mathematics and computer sincere from the University of Richmond in Virginia in 1989. From Carnegie Mellon University in Pennsylvania, he received a Master of Science in computer science in 1991 and a Doctor of Philosophy in computer science in 1995.[4]
The group he was part of at Cornell University created the Cyclone programming language in 2002.[5] In 2013, he became a Fellow of the Association for Computing Machinery.[6]
^ ab"Cornell Tech - Greg Morrisett Named Dean of Cornell Tech". Cornell Tech. 2019-06-07. Retrieved 2020-01-02.
^"Greg Morrisett to return to Cornell as CIS dean". Retrieved 2015-03-29.
^"John Gregory Morrisett — Harvard School of Engineering and Applied Sciences". SEAS Directory. Harvard School of Engineering and Applied Sciences. Retrieved 2010-01-23.
^"John Gregory Morrisett CV June 2016" (PDF). Cornell University Department of Computer Science. Archived from the original (PDF) on 2022-08-10. Retrieved 2024-03-20.
^Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. Retrieved 2010-01-23.
^ACM Names Fellows for Computing Advances that Are Transforming Science and Society Archived 2014-07-22 at the Wayback Machine, Association for Computing Machinery, accessed 2013-12-10.
Machinery. "Cornell Tech - GregMorrisett Named Dean of Cornell Tech". Cornell Tech. 2019-06-07. Retrieved 2020-01-02. "GregMorrisett to return to Cornell...
with Stonehill Taylor as the architect of record. On August 1, 2019, GregMorrisett was named the Jack and Rilla Neafsey Dean and Vice Provost of Cornell...
of Avi Rubin, Bill Joy, David Wagner, Fred Schneider, Gary McGraw, GregMorrisett, Li Gong, Marcus Ranum, Matt Bishop, William Pugh, and John Viega. Fortify...
virtual machine environments like Java and .NET. Proof-carrying code GregMorrisett. "Typed assembly language" in Advanced Topics in Types and Programming...
ISBN 0-262-16209-1. Wikibooks has a book on the topic of: Haskell Summary of System F by Franck Binard. System Fω: the workhorse of modern compilers by GregMorrisett...
1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, GregMorrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee 2005 (for...
Brown Professor of Politics and Public Affairs at Princeton University GregMorrisett (M.S. 1991, Ph.D. 1995), Allen B. Cutting Professor of Computer Science...
California Thesis A Two-Tiered Approach to Specifying Programs (1983) Doctoral advisor John Guttag Doctoral students GregMorrisett Website cs.cmu.edu/~wing/...
in 2002. Her dissertation, Programming with Types, was supervised by GregMorrisett. She joined the University of Pennsylvania faculty in 2002. Weirich's...
Yoelle Maarek Christopher D. Manning Madhav Marathe John Mellor-Crummey GregMorrisett Andrew C. Myers Dana S. Nau Satish Rao Stephen Robertson Timothy Roscoe...
Analysis". Journal of Computer Security. 4 (2). Fred B. Schneider, GregMorrisett, and Robert Harper, A Language-Based Approach to Security. Andrei Sabelfeld...
lazy evaluation, and led the Cedar programming environment project GregMorrisett, worked on type systems and proof-carrying code and provably secure...
director was Stuart M. Shieber. After him, the center was directed by GregMorrisett and later by Salil Vadhan until 2015, when Margo Seltzer was named new...
on ABC Radio and live performance with texts from Donna Abela and Lisa Morrisett. From 2003 until 2009 Marcellino was the Principal of the Australian Institute...
Workshop). It was co-created by Paul Dooley, Joan Ganz Cooney, and Lloyd Morrisett. The series aired on PBS for 780 episodes over the course of its six seasons...
Co-production(s) Notes Play with Me Sesame Noggin Joan Ganz Cooney and Lloyd Morrisett (original characters) (d): Jocelyn Hassenfeld and Karen Kuflik 2002–07...
Erskine) "Take the First Step" – Stuckweed (Written by Michael Reagan and Greg Matheson; produced by Jeff Elmassian and Siedah Garrett) "Make It Mine" –...
complete with respect to an operational semantics. Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars (September 2008). "Hoare Type Theory, Polymorphism...
Global Information