Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gordon_Plotkin> ?p ?o. }
- Gordon_Plotkin abstract "Gordon David Plotkin, FRS, FRSE (born 9 September 1946) is a theoretical Computer Scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.".
- Gordon_Plotkin almaMater University_of_Edinburgh.
- Gordon_Plotkin almaMater University_of_Glasgow.
- Gordon_Plotkin award European_Association_for_Theoretical_Computer_Science.
- Gordon_Plotkin award Milner_Award.
- Gordon_Plotkin award Royal_Society.
- Gordon_Plotkin award Royal_Society_Wolfson_Research_Merit_Award.
- Gordon_Plotkin award Royal_Society_of_Edinburgh.
- Gordon_Plotkin birthDate "1946-09-09".
- Gordon_Plotkin birthName "Gordon David Plotkin".
- Gordon_Plotkin birthPlace Glasgow.
- Gordon_Plotkin birthYear "1946".
- Gordon_Plotkin doctoralAdvisor Donald_Michie.
- Gordon_Plotkin doctoralAdvisor Rod_Burstall.
- Gordon_Plotkin doctoralStudent Eugenio_Moggi.
- Gordon_Plotkin doctoralStudent Li_Wei_(scientist).
- Gordon_Plotkin doctoralStudent Luca_Cardelli.
- Gordon_Plotkin field Computer_science.
- Gordon_Plotkin field Logic.
- Gordon_Plotkin field Mathematics.
- Gordon_Plotkin knownFor Domain_theory.
- Gordon_Plotkin knownFor Operational_semantics.
- Gordon_Plotkin knownFor Programming_Computable_Functions.
- Gordon_Plotkin knownFor Unbounded_nondeterminism.
- Gordon_Plotkin nationality United_Kingdom.
- Gordon_Plotkin residence Scotland.
- Gordon_Plotkin thumbnail Gordon_Plotkin.jpg?width=300.
- Gordon_Plotkin wikiPageExternalLink OrderDetails.do?uin=uk.bl.ethos.482992.
- Gordon_Plotkin wikiPageExternalLink gdp.
- Gordon_Plotkin wikiPageExternalLink Gordon_Plotkin.html.
- Gordon_Plotkin wikiPageExternalLink plotkin-symposium.
- Gordon_Plotkin wikiPageID "2671720".
- Gordon_Plotkin wikiPageRevisionID "604806784".
- Gordon_Plotkin almaMater University_of_Edinburgh.
- Gordon_Plotkin almaMater University_of_Glasgow.
- Gordon_Plotkin awards "* Fellow of the Royal Society * Milner Award * Royal Society Wolfson Research Merit Award * FRSE * EATCS Award".
- Gordon_Plotkin birthDate "1946-09-09".
- Gordon_Plotkin birthName "Gordon David Plotkin".
- Gordon_Plotkin birthPlace Glasgow.
- Gordon_Plotkin dateOfBirth "1946-09-09".
- Gordon_Plotkin doctoralAdvisor "* Rod Burstall * Donald Michie".
- Gordon_Plotkin doctoralStudents "* Luca Cardelli * Marcelo Fiore * Philippa Gardner * Martin Hofmann * John Longley * Ewen Denney * Eugenio Moggi * Mohammad Reza Mousavi * Michael Pedersen * David Pym * Alex Simpson * Lǐ Wèi * Glynn Winskel".
- Gordon_Plotkin field Computer_science.
- Gordon_Plotkin field Logic.
- Gordon_Plotkin field Mathematics.
- Gordon_Plotkin hasPhotoCollection Gordon_Plotkin.
- Gordon_Plotkin knownFor Domain_theory.
- Gordon_Plotkin knownFor Operational_semantics.
- Gordon_Plotkin knownFor Programming_Computable_Functions.
- Gordon_Plotkin knownFor Unbounded_nondeterminism.
- Gordon_Plotkin name "Gordon Plotkin".
- Gordon_Plotkin name "Plotkin, Gordon".
- Gordon_Plotkin nationality United_Kingdom.
- Gordon_Plotkin placeOfBirth "Glasgow".
- Gordon_Plotkin residence Scotland.
- Gordon_Plotkin shortDescription "Computer Scientist".
- Gordon_Plotkin thesisTitle "Automatic methods of inductive inference".
- Gordon_Plotkin thesisUrl OrderDetails.do?uin=uk.bl.ethos.482992.
- Gordon_Plotkin thesisYear "1972".
- Gordon_Plotkin wordnet_type synset-scientist-noun-1.
- Gordon_Plotkin workInstitution Laboratory_for_Foundations_of_Computer_Science.
- Gordon_Plotkin workInstitution University_of_Edinburgh.
- Gordon_Plotkin workInstitution University_of_Edinburgh_School_of_Informatics.
- Gordon_Plotkin workInstitution University_of_Glasgow.
- Gordon_Plotkin description "Computer Scientist".
- Gordon_Plotkin description "Computer Scientist".
- Gordon_Plotkin subject Category:1946_births.
- Gordon_Plotkin subject Category:Academics_of_the_University_of_Edinburgh.
- Gordon_Plotkin subject Category:Alumni_of_the_University_of_Edinburgh.
- Gordon_Plotkin subject Category:British_Jews.
- Gordon_Plotkin subject Category:British_computer_scientists.
- Gordon_Plotkin subject Category:Fellows_of_the_Royal_Society.
- Gordon_Plotkin subject Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Gordon_Plotkin subject Category:Formal_methods_people.
- Gordon_Plotkin subject Category:Jewish_scientists.
- Gordon_Plotkin subject Category:Living_people.
- Gordon_Plotkin subject Category:Members_of_Academia_Europaea.
- Gordon_Plotkin subject Category:Programming_language_researchers.
- Gordon_Plotkin subject Category:Royal_Society_Wolfson_Research_Merit_Award_holders.
- Gordon_Plotkin type Academician109759069.
- Gordon_Plotkin type AcademicsOfTheUniversityOfEdinburgh.
- Gordon_Plotkin type Adult109605289.
- Gordon_Plotkin type AlumniOfTheUniversityOfEdinburgh.
- Gordon_Plotkin type Alumnus109786338.
- Gordon_Plotkin type Associate109816771.
- Gordon_Plotkin type BritishComputerScientists.
- Gordon_Plotkin type CausalAgent100007347.
- Gordon_Plotkin type Colleague109935990.
- Gordon_Plotkin type ComputerScientist109951070.
- Gordon_Plotkin type ComputerUser109951274.
- Gordon_Plotkin type Educator110045713.
- Gordon_Plotkin type FellowsOfTheRoyalSociety.
- Gordon_Plotkin type FellowsOfTheRoyalSocietyOfEdinburgh.
- Gordon_Plotkin type FormalMethodsPeople.
- Gordon_Plotkin type Intellectual109621545.
- Gordon_Plotkin type JewishScientists.
- Gordon_Plotkin type LivingPeople.
- Gordon_Plotkin type LivingThing100004258.
- Gordon_Plotkin type Object100002684.
- Gordon_Plotkin type Organism100004475.