Gordon Plotkin |
Gordon D. Plotkin FRS is a computer scientist.
Gordon Plotkin developed structural operational semantics (SOS) and also worked on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential.
For many years Plotkin was at Aarhus University in Denmark. He is now Professor of Theoretical Computer Science at Edinburgh University in Scotland, where he co-founded the Laboratory for the Foundations of Computer Science (LFCS). He was elected a Fellow of the Royal Society in 1992.
= External links =
|
|