Alan Bundy
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 78 |
| Date of birth | May 18,1947 |
| Zodiac sign | Taurus |
| Born | Isleworth |
| United Kingdom | |
| Residence | Edinburgh |
| United Kingdom | |
| Fields | Automated reasoning |
| Automated theorem proving | |
| Artificial intelligence | |
| Formal methods | |
| Ontology | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 874101 |
Alan Bundy Life story
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.
