Alan Bundy Scientist

Alan Richard Bundy, CBE, FRS, FREng, 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.

Personal facts

Alan Bundy
Birth dateMay 18, 1947
Birth nameAlan Richard Bundy
Birth place
Isleworth
Nationality
United Kingdom
Residence
Edinburgh
Education
University of Leicester

Search

Scientist

awards
Royal Society
Herbrand Award
IJCAI Award for Research Excellence
Order of the British Empire
doctoral advisor
Reuben Goodstein
doctoral student
Frank van Harmelen
Field of study
Artificial intelligence
Automated theorem proving
Automated reasoning
Ontology (information science)
Formal methods

Topical connections

Luciano FloridiPhilosopher
Austin TateScientist
Adrian BirdScientist
A. J. MundellaPolitician
Andy HopperScientist
Andy HarterScientist
Andrew KaniaPolitician
Aaron PorterPolitician

Alan Bundy on Wikipedia

External resources

  1. http://books.google.co.uk/books/about/The_metatheory_of_the_elementary_equatio.html?id=LKRsNwAACAAJ
  2. http://homepages.inf.ed.ac.uk/bundy