Alan Bundy

Alan Bundy
Born	Alan Richard Bundy (1947-05-18) 18 May 1947 (age 69) Isleworth
Residence	Edinburgh
Nationality	British
Fields	Automated reasoning Automated theorem proving Artificial intelligence Formal methods Ontology evolution
Institutions	University of Edinburgh
Alma mater	University of Leicester
Thesis	The Metatheory of the Elementary Equation Calculus (1971)
Doctoral advisor	Reuben Goodstein
Doctoral students	Dave Barker-Plummer Renato Busatto-Neto Francisco Cantú Simon Colton Louise Dennis Roberto Desimone Ian Frank Jason Gallagher Jeremy Gow Michael Harris Jane Hesketh Mateja Jamnik Predrag Janičić Ina Kraan Christopher Mellish Mary-Angela Papalaskari Bernard Silver Frank van Harmelen Lincoln Wallen Toby Walsh Daniel Winterstein
Notable awards	ACM Fellow (2014) FRS (2012) FREng IJCAI Award (2007) CBE (2012) Herbrand Award
Website homepages.inf.ed.ac.uk/bundy

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.

Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from the University of Leicester and a PhD in Mathematical Logic in 1971, also from Leicester.

Since 1971, Bundy has been at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics. From 1971–73, he was a research fellow on Prof. B. Meltzer's SERC grant Theorem Proving by Computer; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987–92 he held an Science and Engineering Research Council Senior Fellowship. From 1998–2001 he was Head of the newly formed of Division (subsequently School) of Informatics at Edinburgh.

...
Wikipedia