Alan Bundy

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

For the fictional character, see Al Bundy.
Alan Bundy
Alan.Bundy.Image.jpg
Born Alan Richard Bundy
(1947-05-18) 18 May 1947 (age 76)[1]
Isleworth
Residence Edinburgh
Nationality British
Fields <templatestyles src="Plainlist/styles.css"/>
Institutions University of Edinburgh
Alma mater University of Leicester
Thesis The Metatheory of the Elementary Equation Calculus (1971)
Doctoral advisor Reuben Goodstein[3]
Doctoral students <templatestyles src="Plainlist/styles.css"/>
  • Dave Barker-Plummer
  • Renato Busatto-Neto
  • Francisco Cantú
  • Simon Colton
  • Louise Dennis
  • Roberto Desimone
  • Ian Frank
  • Jason Gallagher
  • Jeremy Gow
  • Michael Harris
  • Jane Hesketh
  • Mateja Jamnik
  • Predrag Janičić
  • Ina Kraan
  • Christopher Mellish
  • Mary-Angela Papalaskari
  • Bernard Silver
  • Frank van Harmelen
  • Lincoln Wallen
  • Toby Walsh
  • Daniel Winterstein[3]
Notable awards <templatestyles src="Plainlist/styles.css"/>
Website
homepages.inf.ed.ac.uk/bundy

Alan Richard Bundy, CBE, FRS,[4] FREng,[5] FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh,[6] known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.[2][7][8][9][10][11][12][13]

Education

Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from the University of Leicester and a PhD in Mathematical Logic in 1971, also from Leicester.[14]

Career

Since 1971, Bundy has been at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence and in 1998 was absorbed into the new School of Informatics. From 1971–73, he was a research fellow on Prof. B. Meltzer's SERC grant Theorem Proving by Computer; in 1973 he became a university lecturer; in 1984 he was promoted to reader; in 1987 he was promoted to professorial fellow; and in 1990 he was promoted to professor. From 1987–92 he held an Science and Engineering Research Council Senior Fellowship. From 1998–2001 he was Head of the newly formed of Division (subsequently School) of Informatics at Edinburgh.

From 2000–2005 he was a founder and convener of the UK Computing Research Committee, which plays an advocacy role for computing research in the UK. From 2010 he is a Vice-President and Trustee of the British Computer Society with special responsibility for the Academy of Computing.

Bundy is the leader of the Mathematical Reasoning Group at Edinburgh.

Honours and awards

Bundy was elected a founding Fellow of AAAI in 1990, a fellow of the Royal Society of Edinburgh in 1996, a founding fellow of AISB in 1997, a founding fellow of ECCAI in 1999, a fellow of the British Computer Society in 2004, and a Fellow of the Institution of Electrical Engineers in 2005. He was elected a Fellow[5] of the Royal Academy of Engineering[5] in 2008. He was elected to ACM Fellow (2014) "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.".[15]

He is the winner of the 2007 IJCAI Award for Research Excellence and Herbrand Award for Distinguished Contributions to Automated Deduction.

He was one of the 41 professors selected worldwide to receive one of the HP Labs Innovation Research Awards 2008.[16]

Bundy was appointed CBE in the 2012 New Year Honours for services to computing science.[17] He was elected a Fellow of the Royal Society (FRS) in 2012,[4] his certificate of election reads

  1. REDIRECT Template:Cquote


  • This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name. For more information follow the bold category link.

References

  1. ↑ Lua error in package.lua at line 80: module 'strict' not found. (subscription required)
  2. ↑ 2.0 2.1 Alan Bundy's publications indexed by Google Scholar, a service provided by Google
  3. ↑ 3.0 3.1 Alan Bundy at the Mathematics Genealogy Project
  4. ↑ 4.0 4.1 4.2 Lua error in package.lua at line 80: module 'strict' not found.
  5. ↑ 5.0 5.1 5.2 5.3 Lua error in package.lua at line 80: module 'strict' not found.
  6. ↑ http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  7. ↑ http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
  8. ↑ Alan Bundy's publications indexed by the DBLP Bibliography Server at the University of Trier
  9. ↑ Alan Bundy's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  10. ↑ List of publications from Microsoft Academic Search
  11. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  12. ↑ Alan Bundy from the Association for Computing Machinery (ACM) Digital Library
  13. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  14. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  15. ↑ ACM Fellows 2014
  16. ↑ http://www.hp.com/hpinfo/newsroom/press/2008/080814xa.html
  17. ↑ The London Gazette: (Supplement) no. 60009. p. 7. 31 December 2011.
Retrieved from "https://infogalactic.com/w/index.php?title=Alan_Bundy&oldid=964512"