Global Information Lookup Global Information

Greg Morrisett information


John Gregory Morrisett
Alma mater
  • University of Richmond (BS)
  • Carnegie Mellon University (MS, PhD)
Scientific career
FieldsComputer science
Institutions
  • Cornell University
  • Harvard University
ThesisCompiling with Types (1995)
Doctoral advisor
  • Robert Harper
  • Jeannette Wing
Websitetech.cornell.edu/people/greg-morrisett/

John Gregory Morrisett is a computer science scholar who has been serving as dean and vice provost of Cornell Tech in New York City since June 2019.[1] Previously he served as dean for computing and information science at Cornell University in Ithaca from 2015 to 2019 and director of the Center for Research on Computation and Society at Harvard University from 2012 to 2014.[1][2][3]

Morrisett received a Bachelor of Science with major in mathematics and computer sincere from the University of Richmond in Virginia in 1989. From Carnegie Mellon University in Pennsylvania, he received a Master of Science in computer science in 1991 and a Doctor of Philosophy in computer science in 1995.[4]

The group he was part of at Cornell University created the Cyclone programming language in 2002.[5] In 2013, he became a Fellow of the Association for Computing Machinery.[6]

  1. ^ a b "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. ^ "John Gregory Morrisett CV June 2016" (PDF). Cornell University Department of Computer Science. Archived from the original (PDF) on 2022-08-10. Retrieved 2024-03-20.
  5. ^ Knight, Will (2001-11-16). ""Cyclone" blows computer bugs out of code". NewScientist. Retrieved 2010-01-23.
  6. ^ 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.

and 25 Related for: Greg Morrisett information

Request time (Page generated in 0.8378 seconds.)

Greg Morrisett

Last Update:

Machinery. "Cornell Tech - Greg Morrisett Named Dean of Cornell Tech". Cornell Tech. 2019-06-07. Retrieved 2020-01-02. "Greg Morrisett to return to Cornell...

Word Count : 268

Cornell Tech

Last Update:

with Stonehill Taylor as the architect of record. On August 1, 2019, Greg Morrisett was named the Jack and Rilla Neafsey Dean and Vice Provost of Cornell...

Word Count : 4172

Fortify Software

Last Update:

of Avi Rubin, Bill Joy, David Wagner, Fred Schneider, Gary McGraw, Greg Morrisett, Li Gong, Marcus Ranum, Matt Bishop, William Pugh, and John Viega. Fortify...

Word Count : 632

Typed assembly language

Last Update:

virtual machine environments like Java and .NET. Proof-carrying code Greg Morrisett. "Typed assembly language" in Advanced Topics in Types and Programming...

Word Count : 188

SIGPLAN

Last Update:

1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee 2005 (for...

Word Count : 1646

System F

Last Update:

ISBN 0-262-16209-1. Wikibooks has a book on the topic of: Haskell Summary of System F by Franck Binard. System Fω: the workhorse of modern compilers by Greg Morrisett...

Word Count : 2529

Stephanie Weirich

Last Update:

in 2002. Her dissertation, Programming with Types, was supervised by Greg Morrisett. She joined the University of Pennsylvania faculty in 2002. Weirich's...

Word Count : 204

List of Carnegie Mellon University people

Last Update:

Brown Professor of Politics and Public Affairs at Princeton University Greg Morrisett (M.S. 1991, Ph.D. 1995), Allen B. Cutting Professor of Computer Science...

Word Count : 8310

Jeannette Wing

Last Update:

California Thesis A Two-Tiered Approach to Specifying Programs (1983) Doctoral advisor John Guttag Doctoral students Greg Morrisett Website cs.cmu.edu/~wing/...

Word Count : 784

List of fellows of the Association for Computing Machinery

Last Update:

Yoelle Maarek Christopher D. Manning Madhav Marathe John Mellor-Crummey Greg Morrisett Andrew C. Myers Dana S. Nau Satish Rao Stephen Robertson Timothy Roscoe...

Word Count : 3836

List of programming language researchers

Last Update:

lazy evaluation, and led the Cedar programming environment project Greg Morrisett, worked on type systems and proof-carrying code and provably secure...

Word Count : 5830

Center for Research on Computation and Society

Last Update:

director was Stuart M. Shieber. After him, the center was directed by Greg Morrisett and later by Salil Vadhan until 2015, when Margo Seltzer was named new...

Word Count : 852

Type erasure

Last Update:

Angelika. "What is reification?". Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal...

Word Count : 189

Security type system

Last Update:

Analysis". Journal of Computer Security. 4 (2). Fred B. Schneider, Greg Morrisett, and Robert Harper, A Language-Based Approach to Security. Andrei Sabelfeld...

Word Count : 945

Raffaele Marcellino

Last Update:

on ABC Radio and live performance with texts from Donna Abela and Lisa Morrisett. From 2003 until 2009 Marcellino was the Principal of the Australian Institute...

Word Count : 1272

Gradual typing

Last Update:

Thomas; Bodik, Rastislav; Krishnamurthi, Shriram; Lerner, Benjamin S.; Morrisett, Greg (eds.). Refined Criteria for Gradual Typing. Leibniz International...

Word Count : 1101

Pierce Brothers Westwood Village Memorial Park and Mortuary

Last Update:

Dolores Moran (1924–1982), actress Jeff Morris (1934–2004), actor Lloyd Morrisett (1929–2023), psychologist, co-founder of Sesame Workshop, co-creator of...

Word Count : 2592

The Electric Company

Last Update:

Workshop). It was co-created by Paul Dooley, Joan Ganz Cooney, and Lloyd Morrisett. The series aired on PBS for 780 episodes over the course of its six seasons...

Word Count : 4910

75th Primetime Emmy Awards

Last Update:

Manny Coto – writer David Davis – writer Phyllis Carlyle – manager Lloyd Morrisett – executive Hector Ramirez – camera operator Leslie Jordan – performer...

Word Count : 3885

2023 deaths in the United States

Last Update:

George McLeod, 92, basketball player (Baltimore Bullets) (b. 1931) Lloyd Morrisett, 93, psychologist and television producer (Sesame Street) (b. 1929) Ted...

Word Count : 49462

2023 in American television

Last Update:

2023). "Lloyd Morrisett, Co-Creator of 'Sesame Street,' Dies at 93". The Hollywood Reporter. Retrieved January 24, 2023. Evans, Greg (January 25, 2023)...

Word Count : 23809

List of Nickelodeon Animation Studio productions

Last Update:

Co-production(s) Notes Play with Me Sesame Noggin Joan Ganz Cooney and Lloyd Morrisett (original characters) (d): Jocelyn Hassenfeld and Karen Kuflik 2002–07...

Word Count : 1268

The Adventures of Elmo in Grouchland

Last Update:

Erskine) "Take the First Step" – Stuckweed (Written by Michael Reagan and Greg Matheson; produced by Jeff Elmassian and Siedah Garrett) "Make It Mine" –...

Word Count : 2019

Datalog

Last Update:

Thomas; Bodik, Rastislav; Krishnamurthi, Shriram; Lerner, Benjamin S.; Morrisett, Greg (eds.). Yedalog: Exploring Knowledge at Scale. 1st Summit on Advances...

Word Count : 4915

Predicate transformer semantics

Last Update:

complete with respect to an operational semantics. Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars (September 2008). "Hoare Type Theory, Polymorphism...

Word Count : 3380

PDF Search Engine © AllGlobal.net