Alan Bundy

For the fictional character, see Al Bundy.

Alan Bundy
CBE FRS FRSE FREng
Born
Alan Richard Bundy

(1947-05-18) 18 May 1947 (age 77)[3]
Isleworth, West London, England
Alma materUniversity of Leicester (BSc, PhD)
Awards
Scientific career
Fields
InstitutionsUniversity of Edinburgh
ThesisThe Metatheory of the Elementary Equation Calculus (1971)
Doctoral advisorReuben Goodstein[2]
Doctoral students
Websitehomepages.inf.ed.ac.uk/bundy

Alan Richard Bundy CBE FRS FRSE FREng[4] (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh,[5] known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.[1][6][7][8][9][10][11][12]

  1. ^ a b Alan Bundy publications indexed by Google Scholar Edit this at Wikidata
  2. ^ a b Alan Bundy at the Mathematics Genealogy Project Edit this at Wikidata
  3. ^ Anon (2015). "Bundy, Prof. Alan Richard". Who's Who (online Oxford University Press ed.). A & C Black. doi:10.1093/ww/9780199540884.013.U9391. (Subscription or UK public library membership required.)
  4. ^ "List of Fellows". raeng.org.uk. Royal Academy of Engineering. Archived from the original on 8 June 2016. Retrieved 14 October 2014.
  5. ^ http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  6. ^ http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
  7. ^ Alan Bundy at DBLP Bibliography Server Edit this at Wikidata
  8. ^ Alan Bundy publications indexed by the Scopus bibliographic database. (subscription required)
  9. ^ Bundy, Alan Richard (1988). "The use of explicit plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120. doi:10.1007/BFb0012826. hdl:1842/4561. ISBN 978-3-540-19343-2.
  10. ^ Alan Bundy author profile page at the ACM Digital Library
  11. ^ 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. hdl:1842/4748. S2CID 7169278.
  12. ^ Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.