Greg Morrisett

Greg Morrisett

John Gregory Morrisett is 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.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Cyclone (programming language) — Cyclone Appeared in 2006 (2006) Designed by AT T Labs Stable release 1.0 (May 8, 2006; 5 years ago (2006 05 08)) Influenced by …   Wikipedia

  • List of Carnegie Mellon University people — This is a list of encyclopedic people associated with Carnegie Mellon University in the United States of America.Notable students and alumni =Nobel laureates= *John L. Hall (B.S. 1956, M.S. 1958, Ph.D. 1961), 2005 Nobel Prize in Physics *Finn E.… …   Wikipedia

  • Cyclone (язык программирования) — У этого термина существуют и другие значения, см. Cyclone. Cyclone Семантика: процедурный …   Википедия

  • SIGPLAN — is the Association for Computing Machinery s Special Interest Group on programming languages. Conferences * Principles of Programming Languages (POPL) * Programming Language Design and Implementation (PLDI) * International Symposium on Memory… …   Wikipedia

  • Fortify Software — is a San Mateo, California based software vendor. The company was founded in 2003 and provides software security products that identify and remove security vulnerabilities from software applications throughout the development, testing, and… …   Wikipedia

  • Region-based memory management — In computer science, region based memory management is a type of memory management in which each allocated object is assigned to a region. A region, also called a zone, arena, or memory context, is a collection of allocated objects that can be… …   Wikipedia

  • Clay County, Arkansas — Location in the state of Arkansas …   Wikipedia

  • List of Sesame Street crew — Main article: Sesame Street A list of Sesame Street crew: Contents 1 Executive Producers 2 Supervising Producers 3 Producers 3.1 …   Wikipedia

  • List of University of Richmond people — This is a list of notable faculty and alumni from the University of Richmond.Presidents*Robert Ryland first president (1841 1866) *Tiberius G. Jones second president (1866 1869) *Frederic W. Boatwright third president (1895 1946) *George M.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”