 |
Alan Bundy
- Position
- Professor
- Roles
- Member of Centre for Intelligent Systems and their Applications
- Associate Member of Laboratory for Foundations of Computer Science
- Research Interests
- Understanding the processes of mathematical reasoning and discovery, including the processes of inference, learning, analogy, proof analysis and problem formalisation. In particular, the development of "proof plans".
- Email Address
| <bundy | @ | staffmail.ed.ac.uk> |
- Office,Telephone
- IF-2.15, +44 (0) 131 650 2716
- Informatics Research Reports
- Personal Page
|
|