Gordon Plotkin Explained

Gordon Plotkin
Birth Name:Gordon David Plotkin
Birth Date:1946 9, df=yes
Birth Place:Glasgow, Scotland
Field:Logic
Mathematics
Computer science
Work Institution:University of Edinburgh
Laboratory for Foundations of Computer Science
School of Informatics
University of Glasgow
Alma Mater:University of Glasgow (BSc)
University of Edinburgh (PhD)
Thesis Title:Automatic methods of inductive inference
Thesis Year:1972
Thesis Url:https://hdl.handle.net/1842/6656
Known For:Programming Computable Functions
Unbounded nondeterminism
Operational semantics
Domain theory
Website:

Gordon David Plotkin, (born 9 September 1946) 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.[1] He has contributed to many other areas of computer science.[2] [3] [4]

Education

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

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).[6] [7] [8] [9] His former doctoral students include Luca Cardelli, Philippa Gardner, Doug Gurr, Eugenio Moggi, and Lǐ Wèi.

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) and is a Member of the Academia Europæa[10] and the American Academy of Arts and Sciences.[11] 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."[12] His nomination for the Royal Society reads:

References

  1. Crary . Karl . Harper . Robert . 2007 . Syntactic Logical Relations for Polymorphic and Recursive Types. Electronic Notes in Theoretical Computer Science . en . 172 . 259 . 10.1016/j.entcs.2007.02.010. free .
  2. Mitchell . J. C. . John C. Mitchell. Plotkin . G. D.. Gordon Plotkin . 10.1145/44501.45065 . Abstract types have existential type . ACM Transactions on Programming Languages and Systems . 10 . 3 . 470 . 1988 . 1222153 . free .
  3. Abadi . M. N. . Martín Abadi. Burrows . M. . Michael Burrows. Lampson . B. . Butler Lampson. Plotkin . G. . Gordon Plotkin. A calculus for access control in distributed systems . 10.1145/155183.155225 . ACM Transactions on Programming Languages and Systems . 15 . 4 . 706 . 1993 . 1842/207 . 10.1.1.72.3756 . 13260508 .
  4. Web site: Symposium for Gordon Plotkin. www.lfcs.inf.ed.ac.uk.
  5. PhD . Gordon David. Plotkin . Automatic methods of inductive inference . University of Edinburgh . 1972 . 1842/6656. . Gordon Plotkin.
  6. 10.1016/0304-3975(75)90017-1. Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science. 1. 2. 125–159. 1975. Plotkin . G. D. . free.
  7. 10.1016/j.jlap.2004.03.009. The origins of structural operational semantics. The Journal of Logic and Algebraic Programming. 60-61. 3–15. 2004. Plotkin . G. D. . free.
  8. A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  9. Program Verification and Semantics: Further Work (2004)
  10. Web site: Academy of Europe: Plotkin Gordon. Ilire Hasani, Robert. Hoffmann. www.ae-info.org.
  11. Web site: New Members of the American Academy of Arts and Sciences.
  12. Web site: - Royal Society. royalsociety.org.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Gordon Plotkin".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.