2014 - ACM Fellow For contributions to artificial intelligence, automated reasoning, and the formation and evolution of representations.
2012 - Fellow of the Royal Society, United Kingdom
His primary scientific interests are in Automated theorem proving, Programming language, Mathematical proof, Artificial intelligence and Calculus. His work deals with themes such as Discrete mathematics, Proof assistant, Mathematical induction and Program synthesis, which intersect with Automated theorem proving. His Programming language research incorporates themes from Inference and Notation.
The concepts of his Mathematical proof study are interwoven with issues in Generator, Automatic programming, Rippling and Pure mathematics. His Rippling research includes elements of Algorithm and Recursion. His Artificial intelligence study incorporates themes from Mathematical reasoning, Joint, Performing arts and Association.
His scientific interests lie mostly in Artificial intelligence, Programming language, Publishing, Project commissioning and Mathematical proof. His works in Prolog, Logic programming and Automated reasoning are all subjects of inquiry into Programming language. Alan Bundy has included themes like Public relations and Reading in his Publishing study.
His Project commissioning research is multidisciplinary, incorporating perspectives in Engineering management and Library science. The Mathematical proof study combines topics in areas such as Automated theorem proving, Rippling and Calculus. His Automated theorem proving study frequently links to related topics such as Discrete mathematics.
The scientist’s investigation covers issues in Project commissioning, Publishing, Artificial intelligence, Ontology and Automated reasoning. His Publishing research is multidisciplinary, incorporating elements of Library classification and Public administration. His Artificial intelligence study combines topics in areas such as Automated theorem proving, Cognitive science and Natural language processing.
His work carried out in the field of Automated theorem proving brings together such families of science as Formal methods and Proof assistant. His Automated reasoning research integrates issues from Discrete mathematics, Development, Mathematical proof, Knowledge management and Focus. His Mathematical proof course of study focuses on Algorithm and Calculus.
Alan Bundy spends much of his time researching Artificial intelligence, Automated theorem proving, Theoretical computer science, Ontology and Proof assistant. His Artificial intelligence research is multidisciplinary, relying on both Performing arts, Machine learning, Link and Pure mathematics. His Automated theorem proving study is concerned with the field of Programming language as a whole.
His Theoretical computer science study deals with Formal methods intersecting with Software development process, Formal specification and Software development. His study on Proof assistant is covered under Mathematical proof. His biological study spans a wide range of topics, including Algorithm, Lemma and Rippling.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy;Lucas Dixon;Jeremy Gow;Jacques Fleuriot.
Electronic Notes in Theoretical Computer Science (2006)
The Use of Explicit Plans to Guide Inductive Proofs
conference on automated deduction (1988)
The Computer Modelling of Mathematical Reasoning
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95
Alan Bundy;V. Lombart.
Rippling: a heuristic for guiding inductive proofs
Alan Bundy;Andrew Stevens;Frank van Harmelen;Andrew Ireland.
Artificial Intelligence (1993)
The Oyster-Clam system
Alan Bundy;Frank van Harmelen;Christian Horn;Christian Horn;Alan Smaill.
conference on automated deduction (1990)
Computational Thinking is Pervasive
Journal of Scientific and Practical Computing (2007)
Productive Use of Failure in Inductive Proof
Andrew Ireland;Alan Bundy.
Journal of Automated Reasoning (1996)
Automated Deduction - CADE-11
T. Walsh;A. Nunes;Alan Bundy.
Springer-Verlag GmbH (1992)
Extensions to the rippling-out tactic for guiding inductive proofs
Alan Bundy;Frank van Harmelen;Alan Smaill;Andrew Ireland.
conference on automated deduction (1990)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: