Gordon Plotkin

From Wikipedia, the free encyclopedia

Gordon D. Plotkin

Born September 9, 1946 (1946-09-09) (age 61)
Glasgow
Residence Scotland
Nationality British
Fields logician, computer scientist, mathematician
Institutions University of Edinburgh
Alma mater Edinburgh
Doctoral advisor Rod Burstall
Doctoral students Lǐ Wèi, Luca Cardelli, Alex Simpson, Marcelo Fiore

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

[edit] Biography

Plotkin received his PhD in 1972 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).

[edit] Works

[edit] 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.

[edit] See also

[edit] External links


Persondata
NAME Plotkin, Gordon
ALTERNATIVE NAMES
SHORT DESCRIPTION Computer Scientist
DATE OF BIRTH 1946
PLACE OF BIRTH Glasgow
DATE OF DEATH
PLACE OF DEATH
 This biography of a United Kingdom academic is a stub. You can help by expanding it.
 This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.
Languages