Gordon Plotkin
Award Name : European Association for Theoretical Computer Science Award
Year of Award : 2014
Award for : Computers and Internet
Location : Edinburgh, Scotland, United Kingdom
Gordon David Plotkin (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.He won European Association for Theoretical Computer Science award in 2014.