About: Gordon Plotkin

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Gordon David Plotkin, FRS FRSE MAE (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.

thumbnail
Property Value
dbo:abstract
  • Gordon David Plotkin (* 9. September 1946 in Glasgow) ist ein britischer theoretischer Informatiker.Plotkin studierte an der Universität Glasgow und der University of Edinburgh mit dem Bachelor-Abschluss 1967 und der Promotion in Informatik bei (* 1934) 1972 (Automatic methods of inductive inference). Er wurde Professor in Edinburgh, wo er mit Burstall und Robin Milner das Labor für Grundlagen der Informatik (Laboratory for Foundations of Computer Science, LFCS) gründete. Er ist für die Einführung der Strukturellen Operationellen Semantik (SOS, auch Small Step Semantics) in die Theorie der Programmiersprachen bekannt. Er befasst sich auch mit denotationeller Semantik, Typentheorie, Domänen-theoretische und kategorientheoretische Analyse in der Informatik, allgemeiner Beweistheorie, Semantik natürlicher Sprachen, Prozess-Kalküle und computergestützten Modellen in der Biologie und Chemie. 2014 erhielt er den EATCS-Award. Er ist Fellow der Royal Society (1992), Fellow der Royal Society of Edinburgh und Mitglied der Academia Europaea (1989). Er erhielt den Wolfson Research Merit Award und 2012 den Milner Award der Royal Society. 2011 erhielt er die Blaise-Pascal-Medaille, 2018 die Lovelace Medal. (de)
  • Gordon David Plotkin, FRS FRSE MAE (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. (en)
  • Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique. (fr)
  • Gordon D. Plotkin (Glasgow, 9 settembre 1946) è un informatico scozzese. Sviluppò la semantica operazionale strutturale ed ha lavorato anche sulla semantica denotazionale. In particolare, le sue note su A Structural Approach to Operational Semantics del 1981 furono molto influenti. (it)
  • Gordon David Plotkin, FRS, FRSE (Glasgow, 9 de setembro de 1946) é um cientista da computação britânico, professor da da Universidade de Edimburgo. Plotkin é provavelmente mais conhecido por sua introdução da semântica operacional estrutural (em inglês: structural operational semantics (SOS)) e seu trabalho sobre semântica denotacional. Em particular, suas notas sobre A Structural Approach to Operational Semantics foram de muita influência. Contribuiu para muitas outras áreas da ciência da computação. (pt)
dbo:academicDiscipline
dbo:almaMater
dbo:award
dbo:birthDate
  • 1946-09-09 (xsd:date)
dbo:birthName
  • Gordon David Plotkin (en)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:knownFor
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2671720 (xsd:integer)
dbo:wikiPageLength
  • 9945 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1109396323 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:awards
  • (en)
  • Milner Award (en)
  • Royal Society Wolfson Research Merit Award (en)
  • EATCS Award (en)
dbp:birthDate
  • 1946-09-09 (xsd:date)
dbp:birthName
  • Gordon David Plotkin (en)
dbp:birthPlace
  • Glasgow, Scotland (en)
dbp:caption
  • At the MFCS 2005 conference (en)
dbp:doctoralAdvisor
  • (en)
  • Rod Burstall (en)
  • Donald Michie (en)
dbp:doctoralStudents
  • (en)
  • Doug Gurr (en)
  • Eugenio Moggi (en)
  • Luca Cardelli (en)
  • Lǐ Wèi (en)
  • Philippa Gardner (en)
dbp:field
dbp:knownFor
dbp:name
  • Gordon Plotkin (en)
dbp:residence
  • Scotland (en)
dbp:thesisTitle
  • Automatic methods of inductive inference (en)
dbp:thesisUrl
dbp:thesisYear
  • 1972 (xsd:integer)
dbp:website
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dbp:workInstitution
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • Gordon David Plotkin, FRS FRSE MAE (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. (en)
  • Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique. (fr)
  • Gordon D. Plotkin (Glasgow, 9 settembre 1946) è un informatico scozzese. Sviluppò la semantica operazionale strutturale ed ha lavorato anche sulla semantica denotazionale. In particolare, le sue note su A Structural Approach to Operational Semantics del 1981 furono molto influenti. (it)
  • Gordon David Plotkin, FRS, FRSE (Glasgow, 9 de setembro de 1946) é um cientista da computação britânico, professor da da Universidade de Edimburgo. Plotkin é provavelmente mais conhecido por sua introdução da semântica operacional estrutural (em inglês: structural operational semantics (SOS)) e seu trabalho sobre semântica denotacional. Em particular, suas notas sobre A Structural Approach to Operational Semantics foram de muita influência. Contribuiu para muitas outras áreas da ciência da computação. (pt)
  • Gordon David Plotkin (* 9. September 1946 in Glasgow) ist ein britischer theoretischer Informatiker.Plotkin studierte an der Universität Glasgow und der University of Edinburgh mit dem Bachelor-Abschluss 1967 und der Promotion in Informatik bei (* 1934) 1972 (Automatic methods of inductive inference). Er wurde Professor in Edinburgh, wo er mit Burstall und Robin Milner das Labor für Grundlagen der Informatik (Laboratory for Foundations of Computer Science, LFCS) gründete. (de)
rdfs:label
  • Gordon Plotkin (en)
  • Gordon Plotkin (de)
  • Gordon Plotkin (fr)
  • Gordon Plotkin (it)
  • Gordon Plotkin (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Gordon Plotkin (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:doctoralAdvisor of
is dbp:doctoralStudents of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License