Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Greg_Morrisett> ?p ?o. }
Showing items 1 to 60 of
60
with 100 items per page.
- Greg_Morrisett abstract "John Gregory "Greg" Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of Engineering and Applied Sciences.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 Peter Lee 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 wikiPageExternalLink morrisett.pdf.
- Greg_Morrisett wikiPageExternalLink ~greg.
- Greg_Morrisett wikiPageID "13948106".
- Greg_Morrisett wikiPageRevisionID "604170041".
- Greg_Morrisett almaMater Carnegie_Mellon_University.
- Greg_Morrisett hasPhotoCollection Greg_Morrisett.
- Greg_Morrisett name "Greg Morrisett".
- Greg_Morrisett name "Morrisett, Greg".
- Greg_Morrisett thesisTitle "Compiling with Types".
- Greg_Morrisett thesisUrl morrisett.pdf.
- Greg_Morrisett thesisYear "1995".
- 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 type AmericanComputerScientists.
- Greg_Morrisett type CausalAgent100007347.
- Greg_Morrisett type ComputerScientist109951070.
- Greg_Morrisett type ComputerUser109951274.
- Greg_Morrisett type CornellUniversityPeople.
- Greg_Morrisett type LivingPeople.
- Greg_Morrisett type LivingThing100004258.
- Greg_Morrisett type Object100002684.
- Greg_Morrisett type Organism100004475.
- Greg_Morrisett type Person100007846.
- Greg_Morrisett type PhysicalEntity100001930.
- Greg_Morrisett type ProgrammingLanguageResearchers.
- Greg_Morrisett type ResearchWorker110523076.
- Greg_Morrisett type Scientist110560637.
- Greg_Morrisett type Whole100003553.
- Greg_Morrisett type YagoLegalActor.
- Greg_Morrisett type YagoLegalActorGeo.
- Greg_Morrisett type Agent.
- Greg_Morrisett type Person.
- Greg_Morrisett type Scientist.
- Greg_Morrisett type Person.
- Greg_Morrisett type Q215627.
- Greg_Morrisett type Q5.
- Greg_Morrisett type Agent.
- Greg_Morrisett type NaturalPerson.
- Greg_Morrisett type Thing.
- Greg_Morrisett type Person.
- Greg_Morrisett comment "John Gregory "Greg" Morrisett is the Allen B. Cutting Professor of Computer Science and Associate Dean for Computer Science and Engineering in the Harvard School of Engineering and Applied Sciences.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 m.030pkw4.
- Greg_Morrisett sameAs Q5606035.
- Greg_Morrisett sameAs Q5606035.
- Greg_Morrisett sameAs Greg_Morrisett.
- Greg_Morrisett wasDerivedFrom Greg_Morrisett?oldid=604170041.
- Greg_Morrisett givenName "Greg".
- Greg_Morrisett isPrimaryTopicOf Greg_Morrisett.
- Greg_Morrisett name "Greg Morrisett".
- Greg_Morrisett name "Morrisett, Greg".
- Greg_Morrisett surname "Morrisett".