Fellow
United Kingdom – 2007
CITATION

For contributions to the theory of programming languages.