Skip to content
Fellows Directory

Alan Bundy

Professor Alan Bundy CBE FREng FRS


Elected: 2012



ORCID 0000-0002-0578-6474


Alan Bundy conducts research into the automation of mathematical reasoning and the automatic construction, analysis and evolution of representations of knowledge. His work brings together artificial intelligence with theoretical computer science to tackle practical problems in developing and maintaining computer hardware and software.

Alan’s work has been taken up commercially where its application is speeding up the formal verification of computer programs, which can run to many millions of lines of code. His work on knowledge representations — also called ontologies — is aimed at developing representations of information about the world in ways that mean computers can carry out complex, data-rich tasks.

Amongst Alan’s accolades are the IJCAI Research Excellence Award and the CADE Herbrand Award for Distinguished Contributions to Automated Reasoning. Alan was the founding convener of the UK Computing Research Committee, a member of the Scottish Science Advisory Committee and a Vice-President of the British Computer Society. He was awarded a CBE in 2012.

Professional positions

Professor of Automated Reasoning, School of Informatics, University of Edinburgh
Chair of Panel 10 (Computing and Communications), Royal Academy of Engineering

Interests and expertise

Subject groups


Automated reasoning, Formal methods, Representation of knowledge, Theory repair