Greg Morrisett

Greg Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech, a graduate campus in New York City focusing on technology, business, law, and design. Previously, he served as Dean of Computing and Information Sciences at Cornell University and held the Allen B. Cutting Chair in Computer Science at Harvard University (2004–2015). He earned a B.S. from the University of Richmond and M.S./Ph.D. from Carnegie Mellon University.

His research focuses on programming language technologies for secure, reliable software systems, including typed assembly language, proof-carrying code, and provably correct compilers. Notable projects include CertiCoq, GoNative, and CRASH-SAFE. He is an ACM Fellow and recipient of awards such as the Presidential Early Career Award and NSF Career Award.

He has advised over 17 PhD students and mentored numerous postdocs. His work spans formal verification, cryptographic protocols, and secure systems design. Morrisett has served on editorial boards for journals like Communications of the ACM and advisory councils for NSF, DARPA, and Microsoft Research.

Current research includes formal verification of cryptographic protocols with the INRIA Prosecco Team and advancing compiler correctness through projects like CertiCoq.