Alan Bundy

Alan Bundy
CBE FRS FRSE FREng
Alan Bundy CBE FRS FRSE FREng
Born	Alan Richard Bundy; 18 May 1947; Isleworth, West London, England
Education	University of Leicester (BSc, PhD)
Awards	AAAI Fellow (1990); ACM Fellow (2014); IJCAI Award (2007); Herbrand Award (2007);
	Scientific career
Fields	Automated reasoning; Automated theorem proving; Artificial intelligence; Formal methods; Ontology evolution;
Workplaces	University of Edinburgh
Thesis	The Metatheory of the Elementary Equation Calculus (1971)
Doctoral advisor	Reuben Goodstein
Doctoral students	Simon Colton; Frank van Harmelen; Martha Palmer; Lincoln Wallen; Toby Walsh;
Website	homepages.inf.ed.ac.uk/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.