Greg Morrisett
John Gregory Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of Engineering and Applied Sciences.[1]
His group at Cornell University created the Cyclone programming language.[2]
His current research interests are in the applications of programming language technology for building secure and reliable systems. In particular, he is interested in applications of advanced type systems, model checkers, certifying compilers, proof-carrying code, and inlined reference monitors for building efficient and provably secure systems. He is also interested in the design and application of high-level languages for new or emerging domains, such as sensor networks.
He received is PhD under Peter Lee at Carnegie Mellon University in 1995.
[edit] References
- ^ "John Gregory Morrisett - Harvard School of Engineering and Applied Sciences". SEAS Directory. Harvard School of Engineering and Applied Sciences. http://www.seas.harvard.edu/directory/greg. Retrieved 2010-01-23.
- ^ Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. http://www.newscientist.com/article/dn1578. Retrieved 2010-01-23.
