Gordon Plotkin

Gordon Plotkin

FRS FRSE MAE
Gordon Plotkin; FRS FRSE MAE
	Plotkin in 2005
Born	Gordon David Plotkin; 9 September 1946; Glasgow, Scotland
Alma mater	University of Glasgow (BSc); University of Edinburgh (PhD)
Known for	Programming Computable Functions; Unbounded nondeterminism; Operational semantics; Domain theory
Awards	Milner Award (2012); Royal Society Wolfson Research Merit Award; EATCS Award;
	Scientific career
Fields	Logic; Mathematics; Computer science
Institutions	University of Edinburgh; Laboratory for Foundations of Computer Science; School of Informatics; University of Glasgow
Thesis	Automatic methods of inductive inference (1972)
Doctoral advisor	Rod Burstall; Donald Michie;
Doctoral students	Luca Cardelli; Philippa Gardner; Doug Gurr; Eugenio Moggi; Lǐ Wèi;
Website	homepages.inf.ed.ac.uk/gdp; inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

Gordon David Plotkin, FRS FRSE MAE (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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.