Alan Bundy

Quality 0.50 · 0 views · Updated 2 months ago

British artificial intelligence researcher (born 1947)

title: "Alan Bundy" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["british-artificial-intelligence-researchers", "british-computer-scientists", "fellows-of-the-association-for-the-advancement-of-artificial-intelligence", "academics-of-the-university-of-edinburgh", "alumni-of-the-university-of-leicester", "fellows-of-the-royal-academy-of-engineering", "fellows-of-the-royal-society-of-edinburgh", "fellows-of-the-royal-society", "fellows-of-the-british-computer-society", "fellows-of-the-institution-of-engineering-and-technology", "fellows-of-the-ssaisb", "living-people", "1947-births", "commanders-of-the-order-of-the-british-empire", "fellows-of-the-european-association-for-artificial-intelligence"] description: "British artificial intelligence researcher (born 1947)" topic_path: "technology/computing" source: "https://en.wikipedia.org/wiki/Alan_Bundy" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary British artificial intelligence researcher (born 1947) ::

::data[format=table title="Infobox scientist"]

FieldValue
nameAlan Bundy
birth_nameAlan Richard Bundy
honorific_suffix
imageAlan.Bundy.Image.jpg
birth_date
birth_placeIsleworth, West London, England
field{{Plainlist
*Ontology evolution<ref name"googlescholar"/}}
work_institutionsUniversity of Edinburgh
alma_materUniversity of Leicester (BSc, PhD)
doctoral_advisorReuben Goodstein
doctoral_students{{Plainlist
*Toby Walsh<ref name"mathgene"/}}
thesis_titleThe Metatheory of the Elementary Equation Calculus
thesis_year1971
thesis_urlhttp://hdl.handle.net/2381/34566
prizes{{Plainlist
website
::

| name = Alan Bundy | birth_name = Alan Richard Bundy | honorific_suffix = | image = Alan.Bundy.Image.jpg | birth_date = | birth_place = Isleworth, West London, England | death_date = | death_place = | field = {{Plainlist|

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.

Career and research

Since 1971, Bundy has worked 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 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant Theorem Proving by Computer; in 1973, he was appointed 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 to 1992, he held a SERC Senior Fellowship. From 1998 to 2001 he was Head of the newly formed Division (subsequently School) of Informatics at Edinburgh.

From 2000 to 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 to 2012, he served as a vice-president and trustee of the British Computer Society with special responsibility for the Academy of Computing.

Honours and awards

Bundy was a founding AAAI Fellow in 1990, and elected a Fellow of the Royal Society of Edinburgh (FRSE) in 1996, a founding fellow of SSAISB in 1997, a founding fellow of European Coordinating Committee for Artificial Intelligence (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 of the Royal Academy of Engineering (FREng) in 2008. He was elected an ACM Fellow in 2014 "For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.".

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 Hewlett-Packard Labs Innovation Research Awards 2008.

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

References

References

  1. Anon. (2015). "Bundy, Prof. Alan Richard".
  2. {{MathGenealogy
  3. http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website
  4. {{Google scholar id
  5. http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group
  6. {{DBLP
  7. {{Scopus id
  8. (1988). "9th International Conference on Automated Deduction".
  9. {{ACMPortal
  10. (1993). "Rippling: A heuristic for guiding inductive proofs". Artificial Intelligence.
  11. Bundy, Alan. (1986). "Computer modelling of mathematical reasoning".
  12. Bundy, Alan Richard. (1971). "The Metatheory of the Elementary Equation Calculus". University of Leicester.
  13. "Alan Bundy".
  14. "List of Fellows". Royal Academy of Engineering.
  15. [http://awards.acm.org/award_winners/bundy_2915504.cfm ACM Fellows 2014]
  16. "HP Press Release: HP Selects 41 Professors for Innovation Research Awards".
  17. {{London Gazette. (31 December 2011)
  18. "Professor Alan Bundy CBE FREng FRS". [[Royal Society]].

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

british-artificial-intelligence-researchersbritish-computer-scientistsfellows-of-the-association-for-the-advancement-of-artificial-intelligenceacademics-of-the-university-of-edinburghalumni-of-the-university-of-leicesterfellows-of-the-royal-academy-of-engineeringfellows-of-the-royal-society-of-edinburghfellows-of-the-royal-societyfellows-of-the-british-computer-societyfellows-of-the-institution-of-engineering-and-technologyfellows-of-the-ssaisbliving-people1947-birthscommanders-of-the-order-of-the-british-empirefellows-of-the-european-association-for-artificial-intelligence