Gordon Plotkin

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 Rodney Burstall (* 1934) 1972 (Automatic methods of inductive inference).[1] 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.

Gordon Plotkin 2005

Er i​st für d​ie Einführung d​er Strukturellen Operationellen Semantik (SOS, a​uch Small Step Semantics) i​n die Theorie d​er Programmiersprachen bekannt. Er befasst s​ich auch m​it denotationeller Semantik, Typentheorie, Domänen-theoretische u​nd kategorientheoretische Analyse i​n der Informatik, allgemeiner Beweistheorie, Semantik natürlicher Sprachen, Prozess-Kalküle u​nd computergestützten Modellen i​n der Biologie u​nd Chemie.

2014 erhielt e​r den EATCS-Award. Er i​st Fellow d​er Royal Society (1992), Fellow d​er Royal Society o​f Edinburgh u​nd Mitglied d​er Academia Europaea (1989).[2] Er erhielt d​en Wolfson Research Merit Award u​nd 2012 d​en Milner Award d​er Royal Society. 2011 erhielt e​r die Blaise-Pascal-Medaille, 2018 d​ie Lovelace Medal.

Schriften
  • A structural approach to operational semantics, Computer Science Department, Universität Aarhus 1981, Nachdruck: J. Log. Algebr. Program., Band 60–61, 2004, S. 17–139 (mit Einführung von Plotkin: The Origins of Structural Operational Semantics)
  • mit John C. Mitchell: Abstract types have existential type, ACM Transactions on Programming Languages and Systems 10, 1988, 470.

Einzelnachweise
  1. Gordon Plotkin im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Eintrag auf der Internetseite der Academia Europaea
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.