Professor Alan Bundy CBE FREng FRS

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 position

  • Professor of Automated Reasoning, School of Informatics, University of Edinburgh

Subject groups

  • Computer sciences

    Computer science (excl engineering aspects)

  • Other

    Science education at secondary level