Greg Morrisett

Greg Morrisett
Greg Morrisett
Alma mater	Carnegie Mellon University
	Scientific career
Fields	Computer Science
Institutions	Cornell University, Harvard University
Thesis	Compiling with Types (1995)
Doctoral advisor	Robert Harper
Website	tech.cornell.edu/people/greg-morrisett/

John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of Cornell Tech.[1] He previously was Dean of the Faculty of Computing and Information Science at Cornell University.[2] Morrisett was the Allen B. Cutting Professor of Computer Science in the Harvard School of Engineering and Applied Sciences prior to his position at Cornell.[3]

His group at Cornell University created the Cyclone programming language.[4]

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 his PhD under Jeannette Wing and Robert Harper at Carnegie Mellon University in 1995.

In 2013 he became a Fellow of the Association for Computing Machinery.[5]

References

"Cornell Tech - Greg Morrisett Named Dean of Cornell Tech". Cornell Tech. 2019-06-07. Retrieved 2020-01-02.
"Greg Morrisett to return to Cornell as CIS dean". Retrieved 2015-03-29.
"John Gregory Morrisett — Harvard School of Engineering and Applied Sciences". SEAS Directory. Harvard School of Engineering and Applied Sciences. Retrieved 2010-01-23.
Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. Retrieved 2010-01-23.
ACM Names Fellows for Computing Advances that Are Transforming Science and Society Archived 2014-07-22 at the Wayback Machine, Association for Computing Machinery, accessed 2013-12-10.

External links

Home page

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] "Cornell Tech - Greg Morrisett Named Dean of Cornell Tech". Cornell Tech. 2019-06-07. Retrieved 2020-01-02.

[2] "Greg Morrisett to return to Cornell as CIS dean". Retrieved 2015-03-29.

[3] "John Gregory Morrisett — Harvard School of Engineering and Applied Sciences". SEAS Directory. Harvard School of Engineering and Applied Sciences. Retrieved 2010-01-23.

[4] Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. Retrieved 2010-01-23.

[5] ACM Names Fellows for Computing Advances that Are Transforming Science and Society Archived 2014-07-22 at the Wayback Machine, Association for Computing Machinery, accessed 2013-12-10.