Skip to content


Fellows Directory

Alan Bundy

Alan Bundy

Professor Alan Bundy CBE FREng FRS


Elected: 2012





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

Interest and expertise

Subject groups

  • Computer sciences
    • Computer science (excl engineering aspects)
  • Other
    • Science education at secondary level


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

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.