Gordon Plotkin - Gordon Plotkin

Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin.jpg
Na konferenci MFCS 2005
narozený
Gordon David Plotkin

(1946-09-09) 9. září 1946 (věk 74)[1]
Glasgow
Národnostbritský
Alma materUniversity of Glasgow (BSc)
University of Edinburgh (PhD)
Známý jakoProgramování vypočítatelných funkcí
Neomezený nedeterminismus
Provozní sémantika
Teorie domén
Ocenění
Vědecká kariéra
PoleLogika
Matematika
Počítačová věda
InstituceUniversity of Edinburgh
Laboratoř pro základy informatiky
Škola informatiky
University of Glasgow
TezeAutomatické metody indukční inference  (1972)
Doktorský poradce
Doktorandi
webová stránkadomovské stránky.inf.ed.ac.Spojené království/ gdp
inf.ed.ac.Spojené království/lidé/personál/ Gordon_Plotkin.html

Gordon David Plotkin, FRS FRSE MAE (narozen 9. září 1946)[1] je teoretický počítačový odborník na internetu Škola informatiky na University of Edinburgh. Plotkin je pravděpodobně nejlépe známý pro jeho zavedení strukturální operační sémantika (SOS) a jeho práce na denotační sémantika. Zejména jeho poznámky k Strukturální přístup k operační sémantice byli velmi vlivní.[Citace je zapotřebí ] Přispěl do mnoha dalších oblastí počítačová věda.[9][10][11][12][13][14][15]

Vzdělávání

Plotkin byl vzděláván u University of Glasgow a University of Edinburgh, v roce 1967 získal titul bakaláře[1] a PhD v roce 1972[3] kontrolován Rod Burstall.[2]

Kariéra a výzkum

Plotkin zůstal v Edinburghu a byl s Burstallem a Robin Milner, spoluzakladatel Laboratoř pro základy informatiky (LFCS).[16][17][18][19] Mezi jeho bývalé doktorandy patří Luca Cardelli,[4] Philippa Gardner,[5] Doug Gurr,[6] Eugenio Moggi,[7] a Lǐ Wèi.[8][2]

Ocenění a vyznamenání

Plotkin byl zvolen a Člen Královské společnosti (FRS) v roce 1992 a Člen Královské společnosti v Edinburghu (FRSE)[když? ] a je členem Academia Europæa.[20] Je také vítězem soutěže Royal Society Wolfson Research Merit Award. Plotkin obdržel Milner Award v roce 2012 za „jeho zásadní výzkum sémantiky programování s trvalým dopadem na principy i design programovacích jazyků“.[21] Jeho nominace na královská společnost zní:

Plotkin přispěl k umělé inteligenci, logice, lingvistice a zejména k informatice. V AI pracoval tvorba hypotéz a univerzální sjednocení; v Logice, na rámcích pro libovolnou logiku; v lingvistice, při formalizaci teorie situace Jeho hlavním obecným příspěvkem bylo vytvoření sémantického rámce pro informatiku, zejména programovací jazyky. Obzvláště významné výsledky jsou v lambda-kalkul (základní modely, definovatelnost, call-by-value ), nedeterminismus (teorie powerdomain ), sémantické formalizmy (strukturované operační sémantika, metajazyky) a kategorie sémantických domén (koherentní, profinitní, konkrétní). Další příspěvky se týkají sémantického paradigmatu plné abstrakce, teorie souběžnosti (struktury událostí), programovací logika a teorie typů.[22]

Reference

  1. ^ A b C Anon (2013). „Plotkin, prof. Gordon David“. Kdo je kdo. ukwhoswho.com (online Oxford University Press vyd.). A & C Black, otisk Bloomsbury Publishing plc. doi:10.1093 / ww / 9780199540884.013.U31011. (předplatné nebo Členství ve veřejné knihovně ve Velké Británii Požadované) (vyžadováno předplatné)
  2. ^ A b C Gordon Plotkin na Matematický genealogický projekt
  3. ^ A b Plotkin, Gordon David (1972). Automatické metody indukční inference (Disertační práce). University of Edinburgh. hdl:1842/6656. EThOS  uk.bl.ethos.482992. Zdarma ke čtení
  4. ^ A b Cardelli, Luca (1982). Algebraický přístup k popisu a ověření hardwaru (Disertační práce). University of Edinburgh. hdl:1842/13308. EThOS  uk.bl.ethos.253190.
  5. ^ A b Gardner, Philippa (1992). Reprezentace logiky v teorii typů (Disertační práce). University of Edinburgh. hdl:1842/14888. EThOS  uk.bl.ethos.651333. Zdarma ke čtení
  6. ^ A b Gurr, Douglas John (1990). Sémantické rámce pro složitost (Disertační práce). University of Edinburgh. hdl:1842/13968. OCLC  475827463. EThOS  uk.bl.ethos.651894. Zdarma ke čtení
  7. ^ A b Moggi, Eugenio (1999). Částečný lambda kalkul (Disertační práce). University of Edinburgh. hdl:1842/419.
  8. ^ A b Wèi, Lǐ (1983). Operativní přístup k sémantice a překladu programovacích jazyků (Disertační práce). hdl:1842/6636.
  9. ^ Gordon Plotkin publikace indexované podle Google Scholar Upravte to na Wikidata
  10. ^ Gordon Plotkin stránka s profilem autora na ACM Digitální knihovna
  11. ^ Gordon Plotkin publikace indexované indexem Scopus bibliografická databáze. (vyžadováno předplatné)
  12. ^ Gordon D. Plotkin na DBLP Bibliografický server Upravte to na Wikidata
  13. ^ Mitchell, J. C.; Plotkin, G. D. (1988). Msgstr "Abstraktní typy mají existenční typ". Transakce ACM v programovacích jazycích a systémech. 10 (3): 470. doi:10.1145/44501.45065.
  14. ^ Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). „Kalkul pro řízení přístupu v distribuovaných systémech“ (PDF). Transakce ACM v programovacích jazycích a systémech. 15 (4): 706. CiteSeerX  10.1.1.72.3756. doi:10.1145/155183.155225.
  15. ^ „Symposium for Gordon Plotkin“. www.lfcs.inf.ed.ac.uk.
  16. ^ Plotkin, G. D. (1975). "Call-by-name, call-by-value and the λ-calculus". Teoretická informatika. 1 (2): 125–159. doi:10.1016/0304-3975(75)90017-1.
  17. ^ Plotkin, G. D. (2004). „Počátky strukturální operační sémantiky“. The Journal of Logic and Algebraic Programming. 60-61: 3–15. doi:10.1016 / j.jlap.2004.03.009.
  18. ^ Strukturální přístup k operační sémantice autor: G. D. Plotkin (1981)
  19. ^ Ověření programu a sémantika: Další práce Archivováno 26 září 2007 na Wayback Machine (2004)
  20. ^ Hoffmann, Ilire Hasani, Robert. „Academy of Europe: Plotkin Gordon“. www.ae-info.org.
  21. ^ "- Královská společnost". royalsociety.org.
  22. ^ „EC / 1992/29: Plotkin, Gordon David“. London: The Royal Society. Archivovány od originál dne 16. dubna 2014.