John Gregory Morrisett is the Allen B. Cutting Professor of Computer Science at Harvard University. His research focuses on programming language design and implementation as well as software security. He is best known for his work on developing type systems that guarantee strong safety and security properties for low-level languages, including typed intermediate compiler languages, typed assembly language, and Cyclone, a type-safe dialect of C.
Morrisett has received a number of awards for his research, including a Presidential Early Career Award for Scientists and Engineers (presented at the White House in 2000), a National Science Foundation 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 and for Information Processing Letters. Morrisett serves on the Defense Advanced Research Projects Agency (DARPA) information science and technology study group, Microsoft's trustworthy computing academic advisory board, a National Academy study on software producibility, and the Fortify technical advisory board.