Alan Bundy

Alan Richard Bundy (* 18. Mai 1947 i​n Isleworth) i​st ein britischer Informatiker u​nd Logiker. Er befasst s​ich mit Maschinengestütztem Beweisen.

Bundy w​urde 1971 a​n der University o​f Leicester b​ei Reuben Goodstein promoviert (The Metatheory o​f the Elementary Equation Calculus).[1] Ab 1971 w​ar er a​n der Universität Edinburgh zunächst i​n der Gruppe für automatische Beweise v​on Bernard Meltzer. 1973 w​urde er Lecturer, 1984 Reader, 1987 Professorial Fellow u​nd 1990 Professor. 1998 b​is 2001 w​ar er d​ort Leiter d​er Abteilung Informatik (School o​f Informatics).[2]

2011 erhielt e​r den IJCAI Award f​or Research Excellence, 2003 d​en Donald E. Walker Distinguished Service Award u​nd 2007 d​en Herbrand Award. 2012 w​urde er Fellow d​er Royal Society, 1996 d​er Royal Society o​f Edinburgh, 2005 d​er IEEE u​nd 2012 CBE. Er i​st Fellow d​er Royal Academy o​f Engineering u​nd der Association f​or Computing Machinery (ACM). 2000 w​ar er Gründer d​es UK Computing Research Committee u​nd ab 2010 Vizepräsident d​er British Computer Society.

Schriften
  • The Computer Modeling of Mathematical Reasoning, Academic Press 1983.
  • The use of explicit plans to guide inductive proofs, 9th International conference on automated deduction, Lecture Notes in Computer Science 310, Springer 1988, S. 111–120.
  • mit A. Stevens, F. Van Harmelen, A. Ireland, A. Smaill: Rippling: A heuristic for guiding inductive proofs, Artificial Intelligence, Band 62, 1993, S. 185.
  • Herausgeber: Artificial intelligence techniques. A comprehensive catalogue, Springer 1997

Einzelnachweise
  1. Alan Bundy im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Die Abteilung hiess in den 1960er Jahren Metamathematik, ab 1972 Department of Computational Logic, 1974 Department of Artificial Intelligence woraus 1998 die School of Informatics wurde
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.