Fellow
United Kingdom – 2014
CITATION

For contributions to domains in logical form, game semantics, categorical quantum mechanics, and contextual semantics.