Elected: 1996
Discipline: Informatics, Mathematics and Statistics
Professor Alan Bundy
Professor of Automated Reasoning, University of Edinburgh
Alan Bundy FRS FREng, FRSE, FACM, CBE is Professor of Automated Reasoning at the University of Edinburgh. He was awarded the IJCAI Research Excellence Award (2007), the CADE Herbrand Award (2007) and a CBE (2012).