Personal tools
You are here: Home People associate Members Alan Bundy

Alan Bundy

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/
Document Actions