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.