Elected: 1996
Discipline: Informatics, Mathematics and Statistics
Professor Alan Bundy

Former Member

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).