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
Alma mater	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;
Institutions	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.

Alan Bundy CBE FRS FRSE FREng
Born	Alan Richard Bundy (1947-05-18) 18 May 1947 Isleworth, West London, England
Alma mater	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
Institutions	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