Greg Morrisett
Encyclopedia
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
.
His group at Cornell University
created the Cyclone programming language.
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.
Harvard School of Engineering and Applied Sciences
The Harvard School of Engineering and Applied Science , a school within Harvard University's Faculty of Arts and Sciences , serves as the connector and integrator of Harvard's teaching and research efforts in engineering, applied sciences, and technology.Engineering and applied sciences at Harvard...
.
His group at Cornell University
Cornell University
Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...
created the Cyclone programming language.
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.