Alan Bundy
Academic
1947 –
93 Views
Who is Alan 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.
We need you!
Help us build the largest biographies collection on the web!
- Born
- May 18, 1947
Isleworth - Nationality
- United Kingdom
- Education
- University of Leicester
- Lived in
- Edinburgh
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Alan Bundy." Biographies.net. STANDS4 LLC, 2024. Web. 5 May 2024. <https://www.biographies.net/people/en/alan_bundy>.
Discuss this Alan Bundy biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In