|Professor Alan Bundy|
|Born||Alan Richard Bundy
18 May 1947 
|Institutions||University of Edinburgh|
|Alma mater||University of Leicester|
|Thesis||The Metatheory of the Elementary Equation Calculus (1971)|
|Doctoral advisor||Reuben Goodstein|
Alan Richard Bundy, CBE, FRS, FREng, FRSE, FBCS, FAAAI, FECCAI, FAISB, 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.
Since 1971, Bundy has been 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. From 1971-73, he was a research fellow on Prof. B. Meltzer's SERC grant Theorem Proving by Computer; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987-92 he held an Science and Engineering Research Council Senior Fellowship. From 1998-2001 he was Head of the newly formed of Division (subsequently School) of Informatics at Edinburgh.
From 2000-2005 he was a founder and convener of the UK Computing Research Committee, which plays an advocacy role for computing research in the UK. From 2010 he is a Vice President and Trustee of the British Computer Society with special responsibility for the Academy of Computing.
Bundy is the leader of the Mathematical Reasoning Group at Edinburgh.
Honours and awards
Bundy was elected a founding Fellow of AAAI in 1990, a fellow of the Royal Society of Edinburgh in 1996, a founding fellow of AISB in 1997, a founding fellow of ECCAI in 1999, a fellow of the British Computer Society in 2004, and a Fellow of the Institution of Electrical Engineers in 2005.
He is the winner of the 2007 IJCAI Award for Research Excellence and Herbrand Award for Distinguished Contributions to Automated Deduction.
He was one of the 41 professors selected worldwide to receive one of the HP Labs Innovation Research Awards 2008.
|“||Alan Bundy has made world-leading contributions to both automated reasoning and the automated formation and evolution of representations of knowledge. He has developed novel techniques with improved efficiency, range and behaviour. His work on automated reasoning has found application in hardware and software systems development, where it has increased the level of automation. It has decreased the skill level and development time required to verify computer programs and has been taken up by industry. His work on representation evolution facilitates communication between agencies with different representations of related knowledge.||”|
- "BUNDY, Prof. Alan Richard". Who's Who 2014, A & C Black, an imprint of Bloomsbury Publishing plc, 2014; online edn, Oxford University Press.(subscription required)
- List of publications from Google Scholar
- Alan Bundy at the Mathematics Genealogy Project
- http://royalsociety.org/people/alan-bundy/ Professor Alan Richard Bundy FRS
- http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
- http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
- List of publications from the DBLP Bibliography Server
- Alan Bundy from the Scopus bibliographic database.
- List of publications from Microsoft Academic Search
- Bundy, A. (1988). "The use of explicit plans to guide inductive proofs". 9th International Conference on Automated Deduction. Lecture Notes in Computer Science 310. pp. 111–120. doi:10.1007/BFb0012826. ISBN 3-540-19343-X.
- Alan Bundy from the ACM Portal
- Bundy, A.; Stevens, A.; Van Harmelen, F.; Ireland, A.; Smaill, A. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence 62 (2): 185. doi:10.1016/0004-3702(93)90079-Q.
- Bundy, Alan (1971). The Metatheory of the Elementary Equation Calculus (PhD thesis). University of Leicester.
- The London Gazette: . 31 December 2011.