Alan Richard Bundy

Alan Richard Bundy (born 18 May 1947) 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. 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, also from Leicester. Since 1971, Bundy has worked at the University of Edinburgh, progressing from research fellow to professor. He has held several leadership positions, including Head of the School of Informatics. He was a founding AAAI Fellow in 1990 and has been elected to numerous other fellowships. He received the 2007 IJCAI Award for Research Excellence and the Herbrand Award. Bundy was appointed CBE in the 2012 New Year Honours and elected a Fellow of the Royal Society in 2012.