Gordon Plotkin

From Wikipedia, the free encyclopedia

Template:Short description Template:DMCA Template:DMCA Script error: No such module "Template wrapper".Script error: No such module "Check for conflicting parameters". Gordon David Plotkin (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.[2][3] He has contributed to many other areas of computer science.[4][5][6][7][8][9][10]

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[11] supervised by Rod Burstall.[12]

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).[13][14][15][16] His former doctoral students include Luca Cardelli,[17] Philippa Gardner,[18] Doug Gurr,[19] Eugenio Moggi,[20] and Lǐ Wèi.[21][12]

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: Page Template:Blockquote/styles.css has no content.

Plotkin has contributed to Artificial Intelligence, Logic, Linguistics and especially to Computer Science. In AI he worked on hypothesis-formation and universal unification; in Logic, on frameworks for arbitrary logics; in Linguistics, on formalising situation theory. His main general contribution has been to establish a semantic framework for Computer Science, especially programming languages. Particular significant results are in the lambda-calculus (elementary models, definability, call-by-value), non-determinism (powerdomain theory), semantic formalisms (structured operational semantics, metalanguages), and categories of semantic domains (coherent, pro-finite, concrete). Further contributions concern the semantic paradigm of full abstraction, concurrency theory (event structures), programming logic and type theory.[25]

References

  1. ^ a b Cite error: The named reference whoswho was invoked but never defined (see the help page).
  2. ^ Page Module:Citation/CS1/styles.css has no content.Crary, Karl; Harper, Robert (2007). "Syntactic Logical Relations for Polymorphic and Recursive Types". Electronic Notes in Theoretical Computer Science. 172: 259. doi:10.1016/j.entcs.2007.02.010.
  3. ^ Page Module:Citation/CS1/styles.css has no content.Curien, Pierre-Louis (April 2022), Semantics and syntax, between computer science and mathematics (PDF), p. 2
  4. ^ {{Google Scholar ID}} template missing ID and not present in Wikidata.
  5. ^ Template:ACMPortal
  6. ^ Template:Scopus id
  7. ^ {{DBLP}} template missing ID and not present in Wikidata.
  8. ^ Page Module:Citation/CS1/styles.css has no content.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. S2CID 1222153.
  9. ^ Page Module:Citation/CS1/styles.css has no content.Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems" (PDF). ACM Transactions on Programming Languages and Systems. 15 (4): 706. CiteSeerX 10.1.1.72.3756. doi:10.1145/155183.155225. hdl:1842/207. S2CID 13260508.
  10. ^ Page Module:Citation/CS1/styles.css has no content."Symposium for Gordon Plotkin". www.lfcs.inf.ed.ac.uk.
  11. ^ Page Module:Citation/CS1/styles.css has no content.Plotkin, Gordon David (1972). Automatic methods of inductive inference (PhD thesis). University of Edinburgh. hdl:1842/6656. Template:EThOS. Template:Free access
  12. ^ a b Cite error: The named reference mathgene was invoked but never defined (see the help page).
  13. ^ Page Module:Citation/CS1/styles.css has no content.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.
  14. ^ Page Module:Citation/CS1/styles.css has no content.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.
  15. ^ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  16. ^ Program Verification and Semantics: Further Work Script error: No such module "webarchive". (2004)
  17. ^ Cite error: The named reference lucaphd was invoked but never defined (see the help page).
  18. ^ Cite error: The named reference gPhD was invoked but never defined (see the help page).
  19. ^ Cite error: The named reference gurrphd was invoked but never defined (see the help page).
  20. ^ Cite error: The named reference moggiphd was invoked but never defined (see the help page).
  21. ^ Cite error: The named reference liweiphd was invoked but never defined (see the help page).
  22. ^ Page Module:Citation/CS1/styles.css has no content.Hoffmann, Ilire Hasani, Robert. "Academy of Europe: Plotkin Gordon". www.ae-info.org.{{cite web}}: CS1 maint: multiple names: authors list (link)
  23. ^ Page Module:Citation/CS1/styles.css has no content."New Members of the American Academy of Arts and Sciences".
  24. ^ Page Module:Citation/CS1/styles.css has no content."- Royal Society". royalsociety.org.
  25. ^ Page Module:Citation/CS1/styles.css has no content."EC/1992/29: Plotkin, Gordon David". London: The Royal Society. Archived from the original on 16 April 2014.

Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found. Template:FRS 1992

Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.

Retrieved from "https://cosmopedia.co/index.php?title=Gordon_Plotkin&oldid=1367385"