Alan Bundy
Professor
Informatics
The University of Edinburgh
United Kingdom
Biography
Alan Bundy Position Professor Roles Member of Centre for Intelligent Systems and their Applications
Research Interest
Understanding the processes of mathematical reasoning and discovery, including the processes of: forming and evolving formal representations; planning proofs; learning proof methods; and the use of analogy. In particular, the automated detection and repair of faulty representations.
Publications
-
MATHsAiD: Automated Mathematical Theory Exploration
-
Improving Dynamic Information Exchange in Emergency Response Scenarios
-
Review of Preparing for the Future of Artificial Intelligence"
