Gordon Plotkin- Gordon Plotkin

Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin.jpg
Auf der MFCS 2005 Konferenz
Geboren
Gordon David Plotkin

( 1946-09-09 )9. September 1946 (74 Jahre)
Glasgow
Staatsangehörigkeit britisch
Alma Mater Universität Glasgow (BSc)
Universität Edinburgh (PhD)
Bekannt für Programmieren berechenbarer Funktionen
Unbegrenzter Nichtdeterminismus
Operative Semantik
Domänentheorie
Auszeichnungen
Wissenschaftlicher Werdegang
Felder Logik
Mathematik
Informatik
Institutionen University of Edinburgh
Laboratory for Foundations of Computer Science
School of Informatics
University of Glasgow
These Automatische Methoden der induktiven Inferenz  (1972)
Doktoratsberater
Doktoranden
Webseite Homepages .inf .ed .ac .uk /gdp
inf .ed .ac .uk /people /staff /Gordon _Plotkin .html

Gordon David Plotkin , FRS FRSE MAE (* 9. September 1946) ist theoretischer Informatiker an der School of Informatics der University of Edinburgh . Plotkin ist wahrscheinlich am bekanntesten für seine Einführung in die strukturelle Operationelle Semantik (SOS) und seine Arbeiten zur denotationalen Semantik . Insbesondere seine Anmerkungen zu A Structural Approach to Operational Semantics waren sehr einflussreich. Er hat in vielen anderen Bereichen der Informatik mitgewirkt .

Bildung

Plotkin wurde an der University of Glasgow und der University of Edinburgh ausgebildet , erwarb 1967 seinen Bachelor of Science und wurde 1972 von Rod Burstall betreut .

Karriere und Forschung

Plotkin ist in Edinburgh geblieben und war zusammen mit Burstall und Robin Milner Mitbegründer des Laboratory for Foundations of Computer Science (LFCS). Zu seinen ehemaligen Doktoranden zählen Luca Cardelli , Philippa Gardner , Doug Gurr , Eugenio Moggi und Lǐ Wèi .

Auszeichnungen und Ehrungen

Plotkin wurde 1992 zum Fellow der Royal Society (FRS) und zum Fellow der Royal Society of Edinburgh (FRSE) gewählt und ist Mitglied der Academia Europæa . Er ist auch Gewinner des Royal Society Wolfson Research Merit Award . Plotkin erhielt 2012 den Milner Award für „seine grundlegende Forschung zur Programmiersemantik mit nachhaltigem Einfluss auf die Prinzipien und das Design von Programmiersprachen“. Seine Nominierung für die Royal Society lautet:

Plotkin hat zu Künstlicher Intelligenz, Logik, Linguistik und insbesondere zur Informatik beigetragen. In der KI arbeitete er an Hypothesenbildung und universeller Vereinheitlichung; in Logik über Frameworks für beliebige Logiken; in Linguistik, zur Formalisierung der Situationstheorie . Sein wichtigster allgemeiner Beitrag war die Schaffung eines semantischen Rahmens für die Informatik, insbesondere für Programmiersprachen. Besonders signifikante Ergebnisse liegen im Lambda-Kalkül (Elementarmodelle, Definierbarkeit, Call-by-Value ), Nicht-Determinismus ( Powerdomain-Theorie ), semantische Formalismen (strukturierte operationelle Semantik , Metasprachen) und Kategorien semantischer Domänen (kohärent, pro- endlich, konkret). Weitere Beiträge befassen sich mit dem semantischen Paradigma der Vollabstraktion, der Nebenläufigkeitstheorie (Ereignisstrukturen), der Programmierlogik und der Typentheorie .

Verweise

  1. ^ a b c Anon (2013). "Plotkin, Prof. Gordon David" . Wer ist wer . ukwhoswho.com (Online-  Hrsg. der Oxford University Press ). A & C Black, ein Impressum von Bloomsbury Publishing plc. doi : 10.1093/ww/9780199540884.013.U31011 . (Abonnement oder Mitgliedschaft in einer britischen öffentlichen Bibliothek erforderlich) (Abonnement erforderlich)
  2. ^ a b c Gordon Plotkin beim Mathematics Genealogy Project
  3. ^ a b Plotkin, Gordon David (1972). Automatische Methoden der induktiven Inferenz (Dissertation). Universität von Edinburgh. hdl : 1842/6656 . ETHOS  uk.bl.ethos.482992 . Kostenlos zu lesen
  4. ^ a b Cardelli, Luca (1982). Ein algebraischer Ansatz zur Beschreibung und Verifikation von Hardware (Dissertation). Universität von Edinburgh. hdl : 1842/13308 . ETHOS  uk.bl.ethos.253190 .
  5. ^ a b Gardner, Philippa (1992). Darstellung von Logiken in der Typentheorie (Dissertation). Universität von Edinburgh. hdl : 1842/14888 . ETHOS  uk.bl.ethos.651333 . Kostenlos zu lesen
  6. ^ a b Gurr, Douglas John (1990). Semantische Frameworks für Komplexität (Dissertation). Universität von Edinburgh. hdl : 1842/13968 . OCLC  475827463 . ETHOS  uk.bl.ethos.651894 . Kostenlos zu lesen
  7. ^ a b Moggi, Eugenio (1999). Die partielle Lambda-Kalküle (Dissertation). Universität von Edinburgh. hdl : 1842/419 .
  8. ^ a b Wei, L, (1983). Ein operativer Ansatz zur Semantik und Übersetzung für Programmiersprachen (Dissertation). hdl : 1842/6636 .
  9. ^ Gordon Plotkin- Publikationen, die von Google Scholar indiziert sind Bearbeite dies bei Wikidata
  10. ^ Gordon Plotkin- Autorenprofilseite in der ACM Digital Library
  11. ^ Veröffentlichungen von Gordon Plotkin, die von derbibliografischen Datenbank Scopus indiziert sind. (Abonnement erforderlich)
  12. ^ Gordon D. Plotkin beim DBLP Bibliography ServerBearbeite dies bei Wikidata
  13. ^ Mitchell, JC ; Plotkin, GD (1988). "Abstrakte Typen haben existenziellen Typ". ACM-Transaktionen zu Programmiersprachen und -systemen . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID  1222153 .
  14. ^ Abadi, MN ; Burrows, M. ; Lampson, B. ; Plotkin, G. (1993). "Ein Kalkül für die Zugangskontrolle in verteilten Systemen" (PDF) . ACM-Transaktionen zu Programmiersprachen und -systemen . 15 (4): 706. CiteSeerX  10.1.1.72.3756 . doi : 10.1145/155183.155225 . hdl : 1842/207 . S2CID  13260508 .
  15. ^ „Symposium für Gordon Plotkin“ . www.lfcs.inf.ed.ac.uk .
  16. ^ Plotkin, GD (1975). "Call-by-Name, Call-by-Value und der λ-Kalkül" . Theoretische Informatik . 1 (2): 125–159. doi : 10.1016/0304-3975(75)90017-1 .
  17. ^ Plotkin, GD (2004). "Die Ursprünge der strukturellen Operationssemantik" . Die Zeitschrift für Logik und algebraische Programmierung . 60–61: 3–15. doi : 10.1016/j.jlap.2004.03.009 .
  18. ^ Ein struktureller Ansatz für die operative Semantik von GD Plotkin (1981)
  19. ^ Programmüberprüfung und Semantik: Weitere Arbeiten, archiviert am 26. September 2007 bei der Wayback Machine (2004)
  20. ^ Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon" . www.ae-info.org .
  21. ^ "- Königliche Gesellschaft" . royalsociety.org .
  22. ^ "EG/1992/29: Plotkin, Gordon David" . London: Die königliche Gesellschaft. Archiviert vom Original am 16. April 2014.