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 CBE FRS FRSE FREng 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.