|
gptkbp:instanceOf
|
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:Carnegie_Mellon_University
University of Richmond
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:ACM_SIGPLAN_Programming_Languages_Achievement_Award
|
|
gptkbp:doctoralAdvisor
|
gptkb:Robert_Harper
|
|
gptkbp:field
|
gptkb:programming_language
computer science
formal methods
software security
|
|
gptkbp:knownFor
|
gptkb:Cyclone_programming_language
work on type systems
software security research
|
|
gptkbp:memberOf
|
gptkb:ACM_SIGPLAN
gptkb:Association_for_Computing_Machinery
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:positionHeld
|
Professor at Harvard University
Professor at Cornell University
Dean of the Faculty of Computing and Information Science at Cornell University
Dean of Computing and Information Science at Cornell University
|
|
gptkbp:thesisTitle
|
gptkb:Compiling_with_Types
|
|
gptkbp:thesisYear
|
1995
|
|
gptkbp:bfsParent
|
gptkb:Cornell_Tech
|
|
gptkbp:bfsLayer
|
6
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
Greg Morrisett
|