Emeritus Professor Alan Bundy
FREng FRS FRSE
University of Edinburgh , as of 2026
Fellow , Elected 2008 , Scotland , Academia
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.
Adapted from Wikipedia, CC BY-SA 4.0
Expertise
Links
Sources
- Identity
Confirmed (grade B) , the Academy’s directory lists them under University of Edinburgh, and a source names them there , RAEng directory , 11 Oct 2026 , OpenAlex , 30 Sep 2026
Why we think this is them
Wikidata , 30 Sep 2026 , records them as a Fellow of the Academy
RAEng directory , 11 Oct 2026 , lists them under University of Edinburgh
OpenAlex , 30 Sep 2026 , names them at University of Edinburgh
RAEng citation , 30 Sep 2026 , announces their election in 2008
research.ed.ac.uk , 11 Oct 2026 , names them with their organisation or field
- Directory entry
RAEng directory , 30 Sep 2026 , read from the page , facts , high confidence
- Organisation
OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence , as of 2026
RAEng citation , 30 Sep 2026 , read from the page , facts , high confidence , as of 2008
- Summary
Wikipedia , 30 Sep 2026 , via API , CC BY-SA 4.0 , medium confidence
- Links
Wikipedia, Google Scholar, Wikidata: Wikidata , 30 Sep 2026 , via API , CC0 , medium confidence
Website: research.ed.ac.uk , 11 Oct 2026 , extracted by a language model , facts , low confidence
ORCID: OpenAlex , 30 Sep 2026 , via API , CC0 , high confidence
ORCID: Wikidata , 30 Sep 2026 , via API , CC0 , high confidence
OpenAlex: OpenAlex , 30 Sep 2026 , via API , CC0 , medium confidence