![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Alan.Bundy.Image.jpg/640px-Alan.Bundy.Image.jpg&w=640&q=50)
Alan Bundy
British artificial intelligence researcher (born 1947) / From Wikipedia, the free encyclopedia
For the fictional character, see Al Bundy.
Alan Richard Bundy CBE FRS FRSE FREng[4] is a professor at the School of Informatics at the University of Edinburgh,[5] known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.[2][6][7][8][9][10][11][12]
Quick Facts Born, Alma mater ...
Alan Bundy | |
---|---|
![]() | |
Born | Alan Richard Bundy (1947-05-18) 18 May 1947 (age 77)[1] Isleworth, West London, England |
Alma mater | University of Leicester (BSc, PhD) |
Awards |
|
Scientific career | |
Fields | |
Institutions | University of Edinburgh |
Thesis | The Metatheory of the Elementary Equation Calculus (1971) |
Doctoral advisor | Reuben Goodstein[3] |
Doctoral students | |
Website | homepages |
Close