Alison Pease

Contact | Homepage

Alison is a senior lecturer in ARG-tech and works on the connections between mathematics and argumentation, particularly with respect to proof construction and discussion about proof. She has worked on computational models of collaboration between mathematicians, as well as conducting ethnographic studies. Her work lies on the threshold between mathematics, philosophy and artificial intelligence. Alison is also active in computational creativity and has developed methodology for evaluating progress in this field. She is on the Steering Committee for the International Association for Computational Creativity , and has co-chaired a meeting in the series, as well as two symposia on Mathematical Practice and Cognition. She has around 50 refereed papers.