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 15 ...

. Plotkin is probably best known for his introduction of structural

operational semantics Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execut ...

(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 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 practical disciplines (includin ...

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.

Career and research

Plotkin has remained at Edinburgh, and was, with Burstall and

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

, a co-founder of the Laboratory for Foundations of Computer Science (LFCS). His former doctoral students include Luca Cardelli,

Philippa Gardner Philippa Anne Gardner (born 29 July 1965) is a British computer scientist and academic. She has been Professor of Theoretical Computer Science at the Department of Computing, Imperial College London since 2009. She was director of the Resear ...

, Doug Gurr,

Eugenio Moggi Eugenio Moggi is a professor of computer science at the University of Genoa, Italy. He first described the general use of monads to structure programs. Biography Academic qualifications: * PhD in Computer Science, University of Edinburgh ...

, 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 mathematic ...

(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 s ...

(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 The Royal Society Wolfson Research Merit Award was an award made by the Royal Society from 2000 to 2020. It was administered by the Royal Society and jointly funded by the Wolfson Foundation and the UK Office of Science and Technology, to provid ...

. 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, r ...

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