Prof. Greg Morrisett

Greg Morrisett is the Dean and Vice Provost of Cornell Tech, a New York City-based campus focused on graduate education that integrates technology, business, law, and design in service of economic impact and societal good. Previously, Morrisett served as the Dean of College of Computing and Information Science (CIS) at Cornell University, which houses the departments of Computer Science, Information Science, and Statistical Sciences. Before this, he held the Allen B. Cutting Chair in Computer Science at Harvard University from 2004 to 2015. At Harvard, he also served as the Associate Dean for Computer Science and Electrical Engineering and as the Director of the Center for Research on Computation and Society. Before Harvard, Morrisett spent eight years on the faculty of Cornell’s Computer Science Department. He received his B.Sc. from the University of Richmond and both his M.Sc.and Ph.D. from Carnegie Mellon University.

Professor Morrisett’s research focuses on the application of programming language technology for building secure, reliable, and high-performance software systems. A common theme is the focus on systems-level languages and tools that can help detect or prevent common vulnerabilities in software. Past examples include typed assembly language, proof-carrying code, software fault isolation, and control-flow isolation. Recently, his research focuses on building provably correct and secure software, including a focus on cryptographic schemes, machine learning, and compilers.

Morrisett is a Fellow of the ACM and has received a number of awards for his research on programming languages, type systems, and software security, including a Presidential Early Career Award for Scientists and Engineers, an IBM Faculty Fellowship, an National Science Foundation (NSF) Career Award, and an Alfred P. Sloan Fellowship.

He served as Chief Editor for the Journal of Functional Programming and as an associate editor for ACM Transactions on Programming Languages and Systems, Information Processing Letters, and the Journal of the ACM. He currently serves as co-editor-in-chief for the Research Highlights column of Communications of the ACM. In addition, Morrisett has served on the DARPA Information Science and Technology Study (ISAT) Group, the NSF Computer and Information Science and Engineering (CISE) Advisory Council, Max Planck Institute for Software Systems Advisory Board, the Computing Research Association Board, Microsoft Research‘s Technical Advisory Board, Microsoft’s Trustworthy Computing Academic Advisory Board, and the Fortify Technical Advisory Board.