Alan Bundy | |
|---|---|
 | |
| Born | Alan Richard Bundy 18 May 1947[3] Isleworth, West London, England |
| Alma mater | University of Leicester (BSc, PhD) |
| Awards |
|
| Scientific career | |
| Fields | |
| Institutions | University of Edinburgh |
| Thesis | The Metatheory of the Elementary Equation Calculus (1971) |
| Doctoral advisor | Reuben Goodstein[2] |
| Doctoral students | |
| Website | homepages |
Alan Richard Bundy (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh,[4] known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.[1][5][6][7][8][9][10][11]
- ^ a b Alan Bundy publications indexed by Google Scholar
- ^ a b Alan Bundy at the Mathematics Genealogy Project
- ^ 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.)
- ^ http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
- ^ http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
- ^ Alan Bundy at DBLP Bibliography Server
- ^ Alan Bundy publications indexed by the Scopus bibliographic database. (subscription required)
- ^ 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.
- ^ Alan Bundy author profile page at the ACM Digital Library
- ^ 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.
- ^ Bundy, Alan (1986). Computer modelling of mathematical reasoning (PDF). OCLC 59289386.
