Fellow
United Kingdom – 2014
CITATION

For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.