Gordon Plotkin

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Template:Short description Template:EngvarB Template:Use dmy dates Script error: No such module "Template wrapper".Template:Main otherScript error: No such module "Check for clobbered 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)Template: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: Template:Centred pull quote

References

  1. ↑ a b Cite error: Invalid <ref> tag; no text was provided for refs named whoswho
  2. ↑ Script error: No such module "Citation/CS1".
  3. ↑ Script error: No such module "citation/CS1".
  4. ↑ Template:Google scholar id
  5. ↑ Template:ACMPortal
  6. ↑ Template:Scopus id
  7. ↑ Template:DBLP
  8. ↑ Script error: No such module "Citation/CS1".
  9. ↑ Script error: No such module "Citation/CS1".
  10. ↑ Script error: No such module "citation/CS1".
  11. ↑ Template:Cite thesis Template:Free access
  12. ↑ a b Cite error: Invalid <ref> tag; no text was provided for refs named mathgene
  13. ↑ Script error: No such module "Citation/CS1".
  14. ↑ Script error: No such module "Citation/CS1".
  15. ↑ A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
  16. ↑ Program Verification and Semantics: Further Work Template:Webarchive (2004)
  17. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named lucaphd
  18. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named gPhD
  19. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named gurrphd
  20. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named moggiphd
  21. ↑ Cite error: Invalid <ref> tag; no text was provided for refs named liweiphd
  22. ↑ Script error: No such module "citation/CS1".
  23. ↑ Script error: No such module "citation/CS1".
  24. ↑ Script error: No such module "citation/CS1".

Template:Milner Award laureates Template:FRS 1992

Template:Authority control

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Gordon_Plotkin&oldid=1875881"