Fellow
United Kingdom – 2012
CITATION

For contributions to the theory of programming language semantics.