Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Greg_Morrisett> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Greg_Morrisett abstract "John Gregory \"Greg\" Morrisett was the Allen B. Cutting Professor of Computer Science in the Harvard School of Engineering and Applied Sciences. On July 1, 2015, he will become Dean of the Faculty of Computing and Information Science at Cornell University.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.".
- Greg_Morrisett almaMater Carnegie_Mellon_University.
- Greg_Morrisett doctoralAdvisor Jeannette_Wing.
- Greg_Morrisett wikiPageExternalLink morrisett.pdf.
- Greg_Morrisett wikiPageExternalLink ~greg.
- Greg_Morrisett wikiPageID "13948106".
- Greg_Morrisett wikiPageLength "4335".
- Greg_Morrisett wikiPageOutDegree "19".
- Greg_Morrisett wikiPageRevisionID "673774632".
- Greg_Morrisett wikiPageWikiLink Association_for_Computing_Machinery.
- Greg_Morrisett wikiPageWikiLink Carnegie_Mellon_University.
- Greg_Morrisett wikiPageWikiLink Category:American_computer_scientists.
- Greg_Morrisett wikiPageWikiLink Category:Carnegie_Mellon_University_alumni.
- Greg_Morrisett wikiPageWikiLink Category:Cornell_University_people.
- Greg_Morrisett wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Greg_Morrisett wikiPageWikiLink Category:Harvard_University_faculty.
- Greg_Morrisett wikiPageWikiLink Category:Living_people.
- Greg_Morrisett wikiPageWikiLink Category:Programming_language_researchers.
- Greg_Morrisett wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Greg_Morrisett wikiPageWikiLink Cornell_University.
- Greg_Morrisett wikiPageWikiLink Cyclone_(programming_language).
- Greg_Morrisett wikiPageWikiLink Fellow.
- Greg_Morrisett wikiPageWikiLink Harvard_John_A._Paulson_School_of_Engineering_and_Applied_Sciences.
- Greg_Morrisett wikiPageWikiLink Jeannette_Wing.
- Greg_Morrisett wikiPageWikiLink Proof-carrying_code.
- Greg_Morrisett wikiPageWikiLink Robert_Harper_(computer_scientist).
- Greg_Morrisett wikiPageWikiLinkText "Greg Morrisett".
- Greg_Morrisett almaMater Carnegie_Mellon_University.
- Greg_Morrisett doctoralAdvisor Jeannette_Wing.
- Greg_Morrisett name "Greg Morrisett".
- Greg_Morrisett name "Morrisett, Greg".
- Greg_Morrisett shortDescription "American computer scientist".
- Greg_Morrisett thesisTitle "Compiling with Types".
- Greg_Morrisett thesisUrl morrisett.pdf.
- Greg_Morrisett thesisYear "1995".
- Greg_Morrisett wikiPageUsesTemplate Template:Authority_control.
- Greg_Morrisett wikiPageUsesTemplate Template:Infobox_scientist.
- Greg_Morrisett wikiPageUsesTemplate Template:Persondata.
- Greg_Morrisett wikiPageUsesTemplate Template:Reflist.
- Greg_Morrisett wikiPageUsesTemplate Template:URL.
- Greg_Morrisett description "American computer scientist".
- Greg_Morrisett description "American computer scientist".
- Greg_Morrisett subject Category:American_computer_scientists.
- Greg_Morrisett subject Category:Carnegie_Mellon_University_alumni.
- Greg_Morrisett subject Category:Cornell_University_people.
- Greg_Morrisett subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Greg_Morrisett subject Category:Harvard_University_faculty.
- Greg_Morrisett subject Category:Living_people.
- Greg_Morrisett subject Category:Programming_language_researchers.
- Greg_Morrisett subject Category:Year_of_birth_missing_(living_people).
- Greg_Morrisett hypernym B.
- Greg_Morrisett type Agent.
- Greg_Morrisett type List.
- Greg_Morrisett type Person.
- Greg_Morrisett type Scientist.
- Greg_Morrisett type Person.
- Greg_Morrisett type List.
- Greg_Morrisett type Member.
- Greg_Morrisett type Redirect.
- Greg_Morrisett type Scientist.
- Greg_Morrisett type Agent.
- Greg_Morrisett type NaturalPerson.
- Greg_Morrisett type Thing.
- Greg_Morrisett type Q215627.
- Greg_Morrisett type Q5.
- Greg_Morrisett type Q901.
- Greg_Morrisett type Person.
- Greg_Morrisett comment "John Gregory \"Greg\" Morrisett was the Allen B. Cutting Professor of Computer Science in the Harvard School of Engineering and Applied Sciences. On July 1, 2015, he will become Dean of the Faculty of Computing and Information Science at Cornell University.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.".
- Greg_Morrisett label "Greg Morrisett".
- Greg_Morrisett sameAs Q5606035.
- Greg_Morrisett sameAs m.030pkw4.
- Greg_Morrisett sameAs Q5606035.
- Greg_Morrisett wasDerivedFrom Greg_Morrisett?oldid=673774632.
- Greg_Morrisett givenName "Greg".
- Greg_Morrisett isPrimaryTopicOf Greg_Morrisett.
- Greg_Morrisett name "Greg Morrisett".
- Greg_Morrisett name "Morrisett, Greg".
- Greg_Morrisett surname "Morrisett".