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.
Born |
18 May 1947 (age 78) Isleworth
|
Zodiac | Taurus |
Tags | Add tag |