Biography:Gordon Plotkin

From HandWiki
Short description: Computer Scientist


Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin.jpg
Plotkin in 2005
Born
Gordon David Plotkin

(1946-09-09) 9 September 1946 (age 77)[1]
Glasgow, Scotland
Alma materUniversity of Glasgow (BSc)
University of Edinburgh (PhD)
Known forProgramming Computable Functions
Unbounded nondeterminism
Operational semantics
Domain theory
Awards
Scientific career
FieldsLogic
Mathematics
Computer science
InstitutionsUniversity of Edinburgh
Laboratory for Foundations of Computer Science
School of Informatics
University of Glasgow
ThesisAutomatic methods of inductive inference (1972)
Doctoral advisor
Doctoral students
Websitehomepages.inf.ed.ac.uk/gdp
inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946)[1] is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential.[7][8] He has contributed to many other areas of computer science.[9][10][11][12][13][14][15]

Education

Plotkin was educated at the University of Glasgow and the University of Edinburgh, gaining his Bachelor of Science degree in 1967[1] and PhD in 1972[3] supervised by Rod Burstall.[2]

Career and research

Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).[16][17][18][19] His former doctoral students include Luca Cardelli,[20] Philippa Gardner,[21] Doug Gurr,[4] Eugenio Moggi,[5] and Lǐ Wèi.[6][2]

Awards and honours

Plotkin was elected a Fellow of the Royal Society (FRS) in 1992, and a Fellow of the Royal Society of Edinburgh (FRSE)[when?] and is a Member of the Academia Europæa[22] and the American Academy of Arts and Sciences.[23] He is also a winner of the Royal Society Wolfson Research Merit Award. Plotkin received the Milner Award in 2012 for "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages."[24] His nomination for the Royal Society reads:

References

  1. ↑ 1.0 1.1 1.2 Anon (2013). ",". Who's Who (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U31011. https://www.ukwhoswho.com/view/article/oupww/whoswho/U31011.  (subscription or UK public library membership required)
  2. ↑ 2.0 2.1 2.2 Gordon Plotkin at the Mathematics Genealogy Project
  3. ↑ 3.0 3.1 Plotkin, Gordon David (1972). Automatic methods of inductive inference (PhD thesis). University of Edinburgh. hdl:1842/6656. EThOS uk.bl.ethos.482992. Cite has empty unknown parameter: |1= (help) Free to read
  4. ↑ 4.0 4.1 Gurr, Douglas John (1990). Semantic frameworks for complexity (PhD thesis). University of Edinburgh. hdl:1842/13968. OCLC 475827463. EThOS uk.bl.ethos.651894. Free to read
  5. ↑ 5.0 5.1 Moggi, Eugenio (1999). The partial lambda calculus (PhD thesis). University of Edinburgh. hdl:1842/419. Cite has empty unknown parameter: |1= (help)
  6. ↑ 6.0 6.1 Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis). hdl:1842/6636.
  7. ↑ Crary, Karl; Harper, Robert (2007). "Syntactic Logical Relations for Polymorphic and Recursive Types" (in en). Electronic Notes in Theoretical Computer Science 172: 259. doi:10.1016/j.entcs.2007.02.010. 
  8. ↑ Curien, Pierre-Louis (April 2022), Semantics and syntax, between computer science and mathematics, p. 2, https://curien.galene.org/papers/French-school-PLC.pdf 
  9. ↑ {{Google Scholar id}} template missing ID and not present in Wikidata.
  10. ↑ Gordon Plotkin author profile page at the ACM Digital Library
  11. ↑ Gordon Plotkin publications indexed by the Scopus bibliographic database. (Subscription content?)
  12. ↑ {{DBLP}} template missing ID and not present in Wikidata.
  13. ↑ Mitchell, J. C.; Plotkin, G. D. (1988). "Abstract types have existential type". ACM Transactions on Programming Languages and Systems 10 (3): 470. doi:10.1145/44501.45065. 
  14. ↑ Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems". ACM Transactions on Programming Languages and Systems 15 (4): 706. doi:10.1145/155183.155225. http://homepages.inf.ed.ac.uk/gdp/publications/Calculus_for_Access_Control.pdf. 
  15. ↑ "Symposium for Gordon Plotkin". http://www.lfcs.inf.ed.ac.uk/events/plotkin-symposium/. 
  16. ↑ Plotkin, G. D. (1975). "Call-by-name, call-by-value and the λ-calculus". Theoretical Computer Science 1 (2): 125–159. doi:10.1016/0304-3975(75)90017-1. 
  17. ↑ Plotkin, G. D. (2004). "The origins of structural operational semantics". 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 by G.D. Plotkin (1981)
  19. ↑ Program Verification and Semantics: Further Work (2004)
  20. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named lucaphd
  21. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named gPhD
  22. ↑ Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon". https://www.ae-info.org/ae/Member/Plotkin_Gordon. 
  23. ↑ "New Members of the American Academy of Arts and Sciences". https://www.amacad.org/new-members-2023. 
  24. ↑ "- Royal Society". http://royalsociety.org/awards/milner-award/. 
  25. ↑ "EC/1992/29: Plotkin, Gordon David". London: The Royal Society. https://collections.royalsociety.org/DServe.exe?dsqIni=Dserve.ini&dsqApp=Archive&dsqDb=Catalog&dsqCmd=show.tcl&dsqSearch=(RefNo==%27EC%2F1992%2F29%27). 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Gordon_Plotkin&oldid=3442585"