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, 2021. Web. 2 Dec. 2021. <https://www.biographies.net/people/en/alan_bundy>.

Discuss this Alan Bundy biography with the community:

0 Comments


    Browse Biographies.net