Alan Bundy

Alan Richard Bundy (* 18. Mai 1947 in Isleworth) ist ein britischer Informatiker und Logiker. Er befasst sich mit Maschinengestütztem Beweisen.

Bundy wurde 1971 an der University of Leicester bei Reuben Goodstein promoviert (The Metatheory of the Elementary Equation Calculus).[1] Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von Bernard Meltzer. 1973 wurde er Lecturer, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics).[2]

2011 erhielt er den IJCAI Award for Research Excellence, 2003 den Donald E. Walker Distinguished Service Award und 2007 den Herbrand Award. 2012 wurde er Fellow der Royal Society, 1996 der Royal Society of Edinburgh, 2005 der IEEE und 2012 CBE. Er ist Fellow der Royal Academy of Engineering und der Association for Computing Machinery (ACM). 2000 war er Gründer des UK Computing Research Committee und ab 2010 Vizepräsident der 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
Personendaten
NAME Bundy, Alan
ALTERNATIVNAMEN Bundy, Alan Richard (vollständiger Name)
KURZBESCHREIBUNG britischer Informatiker und Logiker
GEBURTSDATUM 18. Mai 1947
GEBURTSORT Isleworth

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.