GORDON PLOTKIN

'Gordon D. Plotkin FRS' (born, in Glasgow, 9 September 1946) is a Scottish computer scientist.
Gordon Plotkin is 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'' of 1981 were very influential. He has contributed to many other areas of computer science.
Plotkin is now Professor of Theoretical Computer Science in the School of Informatics at The University of Edinburgh.

Contents

Biography

Works

Awards

See also

External links

Biography

Plotkin received his PhD in 1973 from the University of Edinburgh, where he studied under Rod Burstall. He has remained at Edinburgh, and was, with Burstall and Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).

Works

★ ''A Structural Approach to Operational Semantics'' by G.D. Plotkin (1981)

★ ''Program Verification and Semantics: Further Work'' (2004)

Awards

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

See also

★ LFCS

★ Informatics

★ University of Edinburgh

★ Domain theory

★ Operational semantics

★ Golem (ILP)

★ Church–Rosser theorem

★ Programming language for Computable Functions

★ Unbounded nondeterminism

External links

★ Official home page

★ Personal home page

★ Online publications