Greg Morrisett
Allen B. Cutting Professor of Computer Science
Associate Dean for Computer Science and Engineering
School of Engineering and Applied Sciences
Harvard University
33 Oxford Street
Cambridge, MA  02138
Phone:  (617) 495-9526     Fax:  (617) 495-2498
Email:  greg {at} eecs.harvard.edu

Bio:

Greg Morrisett received his BS in Mathematics and Computer Science from the University of Richmond in 1989, and his Ph.D. from Carnegie Mellon in 1995.  In 1996, he took an assistant professor position in the Computer Science Department of Cornell University where he was promoted to associate professor in 2002.  In the 2003-04 academic year, he took a sabbatical and visited the Microsoft European Research Laboratory.  In 2004, he moved to Harvard as the Allen B. Cutting Professor of Computer Science, and assumed the position of Associate Dean for Computer Science and Engineering in September of 2007.

Morrisett's research has focused on the 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.  Many of the graduate students who worked on these projects have gone on to academic careers at top Computer Science departments including CMU, Penn, Princeton, and Washington. 

Morrisett 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 (presented at the White House in 2000), an 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 and for Information Processing Letters.  Morrisett currently serves on the DARPA Information Science and Technology Study Group, Microsoft's Trusthworthy Computing Academic Advisory Board, a National Academy study on software producibility, and the Fortify Technical Advisory Board. 

Morrisett has been very active in the ACM community, serving as program chair, general chair, or committee member for a number of conferences.  For example, he served as program chair for the ACM Symposium on Principles of Programming Languages in 2003 and as general chair in 2006.  He is currently serving on the ACM SIGPLAN Executive Committee as a Member at Large and the general chair of the ACM International Symposium on Memory Management.