Alan Bundy

from Wikipedia, the free encyclopedia

Alan Richard Bundy (born May 18, 1947 in Isleworth ) is a British computer scientist and logician. He deals with machine-assisted evidence .

Bundy received his doctorate in 1971 from the University of Leicester under Reuben Goodstein (The Metatheory of the Elementary Equation Calculus). From 1971 he was at the University of Edinburgh, initially in the group for automatic evidence of Bernard Meltzer . In 1973 he became a Lecturer , 1984 Reader, 1987 Professorial Fellow and 1990 Professor. From 1998 to 2001 he was head of the IT department (School of Informatics).

In 2011 he received the IJCAI Award for Research Excellence , in 2003 the Donald E. Walker Distinguished Service Award and in 2007 the Herbrand Award . In 2012 he became a Fellow of the Royal Society , 1996 the Royal Society of Edinburgh , 2005 the IEEE and 2012 CBE . He is a Fellow of the Royal Academy of Engineering and the Association for Computing Machinery (ACM). In 2000 he was the founder of the UK Computing Research Committee and from 2010 Vice President of the British Computer Society.

Fonts

  • 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, pp. 111-120.
  • with A. Stevens, F. Van Harmelen, A. Ireland, A. Smaill: Rippling: A heuristic for guiding inductive proofs, Artificial Intelligence, Volume 62, 1993, p. 185.
  • Editor: Artificial intelligence techniques. A comprehensive catalog, Springer 1997

Web links

Individual evidence

  1. ↑ Alan Bundy in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. ↑ In the 1960s the department was called Metamathematics, from 1972 Department of Computational Logic, 1974 Department of Artificial Intelligence, which in 1998 became the School of Informatics
personal data
SURNAME Bundy, Alan
ALTERNATIVE NAMES Bundy, Alan Richard (full name)
BRIEF DESCRIPTION British computer scientist and logician
DATE OF BIRTH May 18, 1947
PLACE OF BIRTH Isleworth