Academic
Alan Bundy
British artificial intelligence researcher (born 1947)
- Life
- 1947 – present
- Born
- May 18, 1947
- Nationality
- United Kingdom
Alan Richard Bundy 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.
§Related entries
Academic
Carol Frieze
American computer scientist
1947 – present · United Kingdom
Academic
Frances Grundy
British computer scientist
1942 – present · United Kingdom
Academic
Geoffrey C. Fox
British computer scientist and physicist
1944 – present · United Kingdom
Academic
Iain S. Duff
British mathematician and computer scientist
1947 – present · United Kingdom