Greg Morrisett

Greg Morrisett

Computer Science
Jack and Rilla Neafsey Dean and Vice Provost, Cornell Tech


Greg Morrisett is a professor of computer science, and the Dean of the Faculty of Computing and Information Science (CIS) at Cornell University. He received his undergraduate degree from the University of Richmond in mathematics and computer science in 1989 and his Ph.D. from Carnegie Mellon University in computer science in 1995. He served on the Cornell Computer Science faculty from 1996 through 2003, and then moved to Harvard from 2004 through 2015, where he served as the Allen B. Cutting Chair of Computer Science, an associate dean for computer science & engineering, and the director of the Center for Research on Computation and Society. While at Harvard, Morrisett was named a Harvard College Professor. In 2015, Morrisett came back to Ithaca as the Dean of CIS. 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.

Research Interests

programming languages, software security, formal methods, compilers & runtime systems

Teaching Interests

programming languages, compilers, proof engineering

Selected Publications

  • Morrisett, Greg, D. Walker, K. Crary, N. Glew.  1999. "From System F to Typed Assembly Language."  ACM Transactions on Programming Languages and Systems 21 (3): 527-568.
  • Jim, T., Greg Morrisett, D. Grossman, M. W. Hicks, J. Cheney, Y. Wang. 2002.  "Cyclone: A safe dialect of C."  In ATEC '02: Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference, Berkeley, CA,
  • Tarditi, D., G. Morrisett, P. Cheng, C. Stone, R. Harper, P Lee.  1996. "TIL: A Type-Directed Optimizing Compiler for ML."  ACM SIGPLAN Notices 31 (5): 181-192.
  • Grossman, D., G. Morrisett, T. Jim, M. Hicks, Y. Wang, J Cheney.  2002. "Region-based memory management in cyclone."  ACM SIGPLAN Notices 37 (5): 282-282.
  • Harper, R., Greg Morrisett.  1995.  "Compiling Polymorphism Using Intensional Type Analysis."  Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,  January (1st Quarter/Winter).

Selected Awards and Honors

  • Fellow of the Association of Computing Machinery (ACM) 2014
  • IBM Faculty Fellowship 2010
  • Presidential Early Career Award for Scientists and Engineers 2000
  • National Science Foundation Career Award 1999
  • Alfred P. Sloan Fellow 1998