Alan Bundy, 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. Wikipedia
The definitive Wikipedia entry for Alan Bundy. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Alan_Bundy
Alan Bundy School of Informatics, University of Edinburgh This website is primarily designed to be viewed with a browser that supports frames. homepages.inf.ed.ac.uk/bundy/