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
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 ...
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 ...
s,
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