Gordon Plotkin

Gordon Plotkin 2005

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.

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, Mitglied der Academia Europaea (1989)[2] und der American Academy of Arts and Sciences (2023). 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.

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
Personendaten
NAME Plotkin, Gordon
ALTERNATIVNAMEN Plotkin, Gordon David
KURZBESCHREIBUNG britischer Informatiker
GEBURTSDATUM 9. September 1946
GEBURTSORT Glasgow

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.