John Gregory Morrisett is the Jack and Rilla Neafsey Dean and Vice Provost of

Cornell Tech Cornell Tech is a technology, business, law, and design campus of Cornell University located on Roosevelt Island in Manhattan, New York City. It includes the Jacobs Technion-Cornell Institute, a joint academic venture between Cornell and the Tec ...

. He previously was Dean of the Faculty of Computing and Information Science at

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to tea ...

. Morrisett was the Allen B. Cutting Professor of Computer Science in the

Harvard School of Engineering and Applied Sciences The Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) is the engineering school within Harvard University's Faculty of Arts and Sciences, offering degrees in engineering and applied sciences to graduate students admitted ...

prior to his position at Cornell. His group at

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 system In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer progr ...

model checkers In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

, certifying compilers,

proof-carrying code Proof-carrying code (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code. The host system can quickly verify the validity of the proo ...

, and inlined reference monitors for building efficient and

provably secure Provable security refers to any type or level of computer security that can be proved. It is used in different ways by different fields. Usually, this refers to mathematical proofs, which are common in cryptography. In such a proof, the capabiliti ...

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 Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of i ...

and

Robert Harper Robert or Bob Harper may refer to: * Robert Almer Harper (1862–1946), American botanist * Robert Goodloe Harper (1765–1825), US senator from Maryland * Robert Harper (fl. 1734–1761), founder of Harpers Ferry, West Virginia * Robert Harper (a ...

at Carnegie Mellon University in 1995. In 2013 he became a

Fellow of the Association for Computing Machinery A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

.ACM Names Fellows for Computing Advances that Are Transforming Science and Society
, Association for Computing Machinery, accessed 2013-12-10.

References

External links

Home page
{{DEFAULTSORT:Morrisett, Greg American computer scientists Programming language researchers Cornell University faculty Carnegie Mellon University alumni Fellows of the Association for Computing Machinery Living people Year of birth missing (living people) John A. Paulson School of Engineering and Applied Sciences faculty