John Gregory "Greg" Morrisett is the Dean of the Faculty of Computing and Information Science at Cornell University. 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. His group at Cornell University created the Cyclone programming language. 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.

Property Value
dbo:abstract
  • John Gregory "Greg" Morrisett is the Dean of the Faculty of Computing and Information Science at Cornell University. 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. 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. 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. (en)
dbo:almaMater
dbo:doctoralAdvisor
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 13948106 (xsd:integer)
dbo:wikiPageRevisionID
  • 716693092 (xsd:integer)
dbp:fields
  • Computer Science
dbp:thesisTitle
  • Compiling with Types
dbp:thesisUrl
dbp:thesisYear
  • 1995 (xsd:integer)
dbp:workplaces
dct:description
  • American computer scientist (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • John Gregory "Greg" Morrisett is the Dean of the Faculty of Computing and Information Science at Cornell University. 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. His group at Cornell University created the Cyclone programming language. 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. (en)
rdfs:label
  • Greg Morrisett (en)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:givenName
  • Greg (en)
foaf:isPrimaryTopicOf
foaf:name
  • Greg Morrisett (en)
foaf:surname
  • Morrisett (en)
is dbo:wikiPageRedirects of
is foaf:primaryTopic of