Gordon Plotkin
http://dbpedia.org/resource/Gordon_Plotkin an entity of type: Thing
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.
rdf:langString
Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Gordon Plotkin
rdf:langString
Glasgow, Scotland
xsd:date
1946-09-09
xsd:integer
2671720
xsd:integer
1109396323
rdf:langString
Automatic methods of inductive inference
xsd:integer
1972
rdf:langString
rdf:langString
Milner Award
rdf:langString
Royal Society Wolfson Research Merit Award
rdf:langString
EATCS Award
xsd:date
1946-09-09
rdf:langString
Gordon David Plotkin
rdf:langString
At the MFCS 2005 conference
rdf:langString
Scotland
rdf:langString
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.
rdf:langString
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.
rdf:langString
Gordon David Plotkin, né le 9 septembre 1946 à Glasgow, est un informaticien théoricien britannique.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Rod Burstall
rdf:langString
Donald Michie
rdf:langString
rdf:langString
Doug Gurr
rdf:langString
Eugenio Moggi
rdf:langString
Luca Cardelli
rdf:langString
Lǐ Wèi
rdf:langString
Philippa Gardner
xsd:nonNegativeInteger
9945
rdf:langString
Gordon David Plotkin