Nationality British | Role Computer scientist Name Gordon Plotkin Fields Logic, Computer Science | |
Born Gordon David Plotkin
9 September 1946 (age 77)
Glasgow ( 1946-09-09 ) Institutions 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 Automatic methods of inductive inference (1972) Doctoral students Luca Cardelli
Marcelo Fiore
Philippa Gardner
Martin Hofmann
John Longley
Ewen Denney
Eugenio Moggi
Mohammad Reza Mousavi
Michael Pedersen
David Pym
Alex Simpson
Li Wei
Glynn Winskel Known for Programming Computable Functions
Unbounded nondeterminism
Operational semantics
Domain theory Doctoral advisor Rod Burstall, Donald Michie Notable students Luca Cardelli, Eugenio Moggi, Li Wei Similar People Gerard Huet, Luca Cardelli, Eugenio Moggi, Donald Michie, Steve Morrison | ||
Residence Scotland, United Kingdom Education University of Edinburgh |
Gordon plotkin robin milner a craftsman of tools for the mind
Gordon David Plotkin, FRS, FRSE (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. He has contributed to many other areas of computer science.
Contents
- Gordon plotkin robin milner a craftsman of tools for the mind
- Education
- Career
- Awards and honours
- References
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 supervised by Rod Burstall.
Career
Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).
Awards and honours
Plotkin was elected a Fellow of the Royal Society in 1992, is a Fellow of the Royal Society of Edinburgh and a Member of the Academia Europæa. He is also a winner of the Royal Society Wolfson Research Merit Award. Plotkin received the 2012 Royal Society Milner Award for "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages."
His nomination for the Royal Society reads: