Greg Morrisett is affiliated with Cornell University in the United States and specializes in the field of Computer Science. Their research spans 17 publications focusing on various subfields, including Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Information Systems, and Hardware and Architecture.
The main topics of their work include:
Recent papers authored by or involving Greg Morrisett cover a range of programming languages, cryptographic protocol proofs, and certified equivalence for protocol parsers. Selected publications include:
Frequent co-authors collaborating with Morrisett include:
The main venues for Morrisett's publications are:
Greg Morrisett has contributed to academic literature through at least one book published by Cambridge University Press, titled Foundations of Probabilistic Programming (2020), which has received citations.
Recognition for their work includes being named an ACM Fellow in 2013, awarded for contributions to mathematically based methods that ensure the efficient implementation and verification of practical programming languages. Morrisett was also a Fellow of the Alfred P. Sloan Foundation in 1998.
Greg Morrisett;David Walker;Karl Crary;Neal Glew
Dan Grossman;Greg Morrisett;Trevor Jim;Michael Hicks
David Tarditi;Greg Morrisett;Perry Cheng;Chris Stone
Robert Harper;Greg Morrisett
Gary McGraw;Greg Morrisett
Greg Morrisett;David Walker;Karl Crary;Neal Glew
Ryan Newton;Greg Morrisett;Matt Welsh
Greg Morrisett;Karl Crary;Neal Glew;Dan Grossman
Kevin W. Hamlen;Greg Morrisett;Fred B. Schneider
Karl Crary;David Walker;Greg Morrisett
Yasuhiko Minamide;Greg Morrisett;Robert Harper
Stephen McCamant;Greg Morrisett
Aleksandar Nanevski;Greg Morrisett;Avraham Shinnar;Paul Govereau
Greg Morrisett;Gang Tan;Joseph Tassarotti;Jean-Baptiste Tristan
Aleksandar Nanevski;Greg Morrisett;Lars Birkedal
Aleksandar Nanevski;Greg Morrisett;Lars Birkedal
J. Gregory Morrisett;Karl Crary;Neal Glew;David Walker
Greg Morrisett;Matthias Felleisen;Robert Harper
Karl Crary;Stephanie Weirich;Greg Morrisett
Greg Morrisett
David Walker;Greg Morrisett
If you think any of the details on this page are incorrect, let us know.
Studying Computer Science opens doors to a wide range of career opportunities, and online education has become a popular, flexible choice for many students. Choosing the best online accredited universities ensures the legitimacy and value of your degree, an important consideration for future employers.
The tech field is rapidly diversifying, with specialized online degrees catering to different interests. For aspiring game designers, pursuing a game design online degree can lead to creative roles in entertainment, education, and interactive media development. If cybersecurity is your aspiration, consider enrolling in the cheapest cybersecurity degree programs to gain vital skills while minimizing student debt.
Beyond traditional computer science, structured programs like an online construction management masters offer opportunities to apply technology in industries such as construction and infrastructure. Each pathway offers distinct advantages and job prospects, so be sure to align your studies with your long-term career goals and personal interests.
University of Toronto
Yale University
Vanderbilt University Medical Center
Case Western Reserve University
RWTH Aachen University
Hospital Clinic of Barcelona
University of California, Berkeley
University of Tasmania
University of Modena and Reggio Emilia
Zhejiang University
Polytechnic University of Turin
Fraunhofer Institute for Telecommunications, Heinrich Hertz Institute
George Mason University
Leiden University
University of Leeds
University of Wisconsin–Madison
