Gordon Plotkin

Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin.jpg
På MFCS 2005-konferensen
Född
Gordon David Plotkin

( 1946-09-09 ) 9 september 1946 (76 år)
Glasgow , Skottland
Alma mater
University of Glasgow (BSc) University of Edinburgh (PhD)
Känd för


Programmering av beräkningsbara funktioner Obegränsad icke-determinism Operationell semantik Domänteori
Utmärkelser
Vetenskaplig karriär
Fält

Logik Matematik Datavetenskap
institutioner


University of Edinburgh Laboratory for Foundations of Computer Science School of Informatics University of Glasgow
Avhandling   Automatiska metoder för induktiv slutledning (1972)
Doktorand rådgivare
Doktorander
Hemsida
hemsidor .inf .ed .ac .uk /gdp inf .ed .ac .uk /people /staff /Gordon _Plotkin .html

Gordon David Plotkin , FRS FRSE MAE (född 9 september 1946) är en teoretisk datavetare vid School of Informatics vid University of Edinburgh . Plotkin är förmodligen mest känd för sin introduktion av strukturell operativ semantik (SOS) och hans arbete med denotationssemantik . I synnerhet var hans anteckningar om A Structural Approach to Operational Semantics mycket inflytelserika. [ citat behövs ] Han har bidragit till många andra områden av datavetenskap .

Utbildning

Plotkin utbildades vid University of Glasgow och University of Edinburgh och tog sin kandidatexamen 1967 och doktorsexamen 1972 under ledning av Rod Burstall .

Karriär och forskning

Plotkin har stannat kvar i Edinburgh och var, tillsammans med Burstall och Robin Milner , en av grundarna av Laboratory for Foundations of Computer Science (LFCS). Hans tidigare doktorander inkluderar Luca Cardelli , Philippa Gardner , Doug Gurr , Eugenio Moggi och Lǐ Wèi .

Utmärkelser och utmärkelser

Plotkin valdes till Fellow of the Royal Society (FRS) 1992 och en Fellow i Royal Society of Edinburgh (FRSE) [ när? ] och är medlem av Academia Europæa . Han är också vinnare av Royal Society Wolfson Research Merit Award . Plotkin fick Milner Award 2012 för "sin grundläggande forskning inom programmeringssemantik med bestående inverkan på både principerna och designen av programmeringsspråk." Hans nominering till Royal Society lyder:

Plotkin har bidragit till artificiell intelligens, logik, lingvistik och särskilt till datavetenskap. I AI arbetade han med hypotesbildning och universell enande; i logik, om ramverk för godtycklig logik; i lingvistik, om formalisering av situationsteori . Hans huvudsakliga allmänna bidrag har varit att upprätta ett semantiskt ramverk för datavetenskap, särskilt programmeringsspråk. Särskilt betydelsefulla resultat är i lambda-kalkylen (elementära modeller, definierbarhet, call-by-value ), icke-determinism ( powerdomain theory ), semantiska formalismer (strukturerad operativ semantik , metaspråk) och kategorier av semantiska domäner (koherenta, pro- ändlig, konkret). Ytterligare bidrag rör det semantiska paradigmet full abstraktion, samtidighetsteori (händelsestrukturer), programmeringslogik och typteori .

  1. ^ a b c Anon (2013). "Plotkin, Prof. Gordon David" . Vem är vem . ukwhoswho.com (online Oxford University Press ed.). A & C Black, ett avtryck från Bloomsbury Publishing plc. doi : 10.1093/ww/9780199540884.013.U31011 . (Prenumeration eller medlemskap i Storbritanniens offentliga bibliotek krävs.) (prenumeration krävs)
  2. ^ a b c Gordon Plotkin vid Mathematics Genealogy Project
  3. ^ a b   Plotkin, Gordon David (1972). Automatiska metoder för induktiv slutledning (PhD-avhandling). University of Edinburgh. hdl : 1842/6656 . EThOS uk.bl.ethos.482992 . icon of an open green padlock
  4. ^ a b   Cardelli, Luca (1982). En algebraisk metod för hårdvarubeskrivning och verifiering ( doktorandsavhandling). University of Edinburgh. hdl : 1842/13308 . EThOS uk.bl.ethos.253190 .
  5. ^ a b   Gardner, Philippa (1992). Representerande logik i typteori (PhD-avhandling). University of Edinburgh. hdl : 1842/14888 . EThOS uk.bl.ethos.651333 . icon of an open green padlock
  6. ^ a b     Gurr, Douglas John (1990). Semantiska ramverk för komplexitet (PhD-avhandling). University of Edinburgh. hdl : 1842/13968 . OCLC 475827463 . EThOS uk.bl.ethos.651894 . icon of an open green padlock
  7. ^ a b Moggi, Eugenio (1999). Den partiella lambdakalkylen (PhD-avhandling). University of Edinburgh. hdl : 1842/419 .
  8. ^ a b Wèi, Lǐ (1983). Ett operativt förhållningssätt till semantik och översättning för programmeringsspråk ( PhD-avhandling). hdl : 1842/6636 .
  9. ^ Gordon Plotkins publikationer indexerade av Google Scholar Edit this at Wikidata
  10. ^ Gordon Plotkins författare profilsida på ACM Digital Library
  11. ^ Gordon Plotkins publikationer indexerade av Scopus bibliografiska databas. (prenumeration krävs)
  12. ^ Gordon D. Plotkin på DBLP Bibliography Server Edit this at Wikidata
  13. ^   Mitchell, JC ; Plotkin, GD (1988). "Abstrakta typer har existentiell typ". ACM-transaktioner på programmeringsspråk och system . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID 1222153 .
  14. ^    Abadi, MN ; Burrows, M .; Lampson, B .; Plotkin, G. (1993). "En kalkyl för åtkomstkontroll i distribuerade system" (PDF) . ACM-transaktioner på programmeringsspråk och system . 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 and the λ-calculus" . Teoretisk datavetenskap . 1 (2): 125–159. doi : 10.1016/0304-3975(75)90017-1 .
  17. ^ Plotkin, GD (2004). "Ursprunget till strukturell operativ semantik" . The Journal of Logic and Algebraic Programming . 60–61: 3–15. doi : 10.1016/j.jlap.2004.03.009 .
  18. ^ A Structural Approach to Operational Semantics av ​​GD Plotkin (1981)
  19. ^ Programverifiering och semantik: Ytterligare arbete arkiverat 26 september 2007 på Wayback Machine (2004)
  20. ^ Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon" . www.ae-info.org .
  21. ^ "- Royal Society" . royalsociety.org .
  22. ^ "EC/1992/29: Plotkin, Gordon David" . London: The Royal Society. Arkiverad från originalet den 16 april 2014.
Hämtad från " https://en.wikipedia.org/w/index.php?title=Gordon_Plotkin&oldid=1139761713 "