Gordon David Plotkin, (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 1 ...

. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on

denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called ''denotations' ...

. In particular, his notes on ''A Structural Approach to Operational Semantics'' were very influential. He has contributed to many other areas of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

Education

Plotkin was educated at the

University of Glasgow , image = UofG Coat of Arms.png , image_size = 150px , caption = Coat of arms Flag , latin_name = Universitas Glasguensis , motto = la, Via, Veritas, Vita , ...

and the

, gaining his Bachelor of Science degree in 1967 and PhD in 1972 supervised by

Rod Burstall Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the Univers ...

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 The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with ...

(LFCS). His former doctoral students include Luca Cardelli, Philippa Gardner,

Doug Gurr Douglas John Gurr (born July 1964) is a British businessman, and the Director of the Natural History Museum, London. He was a global vice-president and head of Amazon UK from 2016 to 2020. He is chairman of the British Heart Foundation. He former ...

, Eugenio Moggi, and Lǐ Wèi.

Awards and honours

Plotkin was elected a

Fellow of the Royal Society Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted by the judges of the Royal Society of London to individuals who have made a "substantial contribution to the improvement of natural knowledge, including mathemati ...

(FRS) in 1992, and a

Fellow of the Royal Society of Edinburgh Fellowship of the Royal Society of Edinburgh (FRSE) is an award granted to individuals that the Royal Society of Edinburgh, Scotland's national academy of science and letters, judged to be "eminently distinguished in their subject". This socie ...

(FRSE) and is a Member of the

Academia Europæa The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

. 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." His nomination for the

Royal Society The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national academy of sciences. The society fulfils a number of roles: promoting science and its benefits, re ...

reads:

References

{{DEFAULTSORT:Plotkin, Gordon 1946 births Living people British computer scientists Fellows of the Royal Society Members of Academia Europaea Royal Society Wolfson Research Merit Award holders Formal methods people Programming language researchers British Jews Jewish scientists Alumni of the University of Edinburgh Academics of the University of Edinburgh Fellows of the Royal Society of Edinburgh