1. Alan Richard Bundy was born on 18 May 1947 and is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.
Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, from Leicester.
Since 1971, Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence, and in 1998 was absorbed into the new School of Informatics.
Alan Bundy was elected a Fellow of the Royal Academy of Engineering in 2008.
Alan Bundy is the winner of the 2007 IJCAI Award for Research Excellence and Herbrand Award for Distinguished Contributions to Automated Deduction.
Alan Bundy was one of the 41 professors selected worldwide to receive one of the Hewlett-Packard Labs Innovation Research Awards 2008.
Alan Bundy was appointed CBE in the 2012 New Year Honours for services to computing science.
Alan Bundy was elected a Fellow of the Royal Society in 2012, his certificate of election reads.
Alan Bundy has made world-leading contributions to both automated reasoning and the automated formation and evolution of representations of knowledge.
Alan Bundy has developed novel techniques with improved efficiency, range and behaviour.