About: Greg Morrisett

Property	Value
dbo:description	американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) Amerikaans informaticus (nl) informaticien américain (fr) عالِم حاسوب من الولايات المتحدة الأمريكية (ar) informáticu teóricu estauxunidense (ast)
dbo:doctoralAdvisor	dbr:Jeannette_Wing dbr:Robert_Harper_(computer_scientist)
dbo:institution	dbr:Cornell_University dbr:Harvard_University
dbo:wikiPageExternalLink	https://tech.cornell.edu/people/greg-morrisett/ https://www.cs.cmu.edu/~rwh/theses/morrisett.pdf http://www.eecs.harvard.edu/~greg/
dbo:wikiPageWikiLink	dbr:Cyclone_(programming_language) dbc:Living_people dbr:Carnegie_Mellon_University dbr:Cornell_University dbr:Harvard_University dbr:Jeannette_Wing dbr:Model_checking dbr:Type_system dbr:Provable_security dbr:Robert_Harper_(computer_scientist) dbr:Proof-carrying_code dbc:Year_of_birth_missing_(living_people) dbr:Cornell_Tech dbc:Programming_language_researchers dbc:Cornell_University_faculty dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:American_computer_scientists dbc:Carnegie_Mellon_University_alumni dbc:John_A._Paulson_School_of_Engineering_and_Applied_Sciences_faculty dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:Harvard_School_of_Engineering_and_Applied_Sciences dbr:Faculty_of_Computing_and_Information_Science,_Cornell_University
dbp:doctoralAdvisor	(en) Robert Harper (en) Jeannette Wing (en)
dbp:fields	Computer science (en)
dbp:name	John Gregory Morrisett (en)
dbp:thesisTitle	Compiling with Types (en)
dbp:thesisUrl	https://www.cs.cmu.edu/~rwh/students/morrisett.pdf
dbp:thesisYear	1995 (xsd:integer)
dbp:website	https://tech.cornell.edu/people/greg-morrisett/
dbp:wikiPageUsesTemplate	dbt:Compu-scientist-stub dbt:Authority_control dbt:Indented_plainlist dbt:Infobox_scientist dbt:Reflist dbt:Short_description
dbp:workplaces	(en) Cornell University (en) Harvard University (en)
dct:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Programming_language_researchers dbc:Cornell_University_faculty dbc:American_computer_scientists dbc:Carnegie_Mellon_University_alumni dbc:Harvard_John_A._Paulson_School_of_Engineering_and_Applied_Sciences_faculty dbc:2013_fellows_of_the_Association_for_Computing_Machinery
gold:hypernym	dbr:B
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Greg Morrisett (en)
owl:sameAs	wikidata:Greg Morrisett https://dblp.org/pid/m/JGMorrisett dbpedia-global:Greg Morrisett freebase:Greg Morrisett yago-res:Greg Morrisett
prov:wasDerivedFrom	wikipedia-en:Greg_Morrisett?oldid=1306728396&ns=0
foaf:homepage	https://tech.cornell.edu/people/greg-morrisett/ https://tech.cornell.edu/people/greg-morrisett/
foaf:isPrimaryTopicOf	wikipedia-en:Greg_Morrisett
foaf:name	John Gregory Morrisett (en)
is dbo:dean of	dbr:Cornell_Tech
is dbo:doctoralStudent of	dbr:Jeannette_Wing dbr:Robert_Harper_(computer_scientist)
is dbo:wikiPageRedirects of	dbr:Greg_morrisett
is dbo:wikiPageWikiLink of	dbr:List_of_C-family_programming_languages dbr:Cyclone_(programming_language) dbr:Fortify_Software dbr:List_of_programming_language_researchers dbr:SIGPLAN dbr:Jeannette_Wing dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Center_for_Research_on_Computation_and_Society dbr:Peter_Lee_(computer_scientist) dbr:Typed_assembly_language dbr:System_F dbr:Cornell_Tech dbr:List_of_Carnegie_Mellon_University_people dbr:Stephanie_Weirich dbr:Greg_morrisett
is dbp:dean of	dbr:Cornell_Tech
is dbp:doctoralStudents of	dbr:Jeannette_Wing
is foaf:primaryTopic of	wikipedia-en:Greg_Morrisett