| Position: | Professor |
| Role: | Associate Member |
| E-mail: | bundy@staffmail (add .ed.ac.uk for real email) |
| Office(s): | IF-2.15 |
| Phone(s): | (+44 131 6)502716 |
| 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". |
| Homepage: | http://homepages.inf.ed.ac.uk/bundy/ |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive