I am based at the University of Edinburgh, in the Centre for Intelligent Systems and their Applications within the School of Informatics.

I'm currently working full time on grant development, supported by the EPSRC Platform grant The Integration and Interaction of Multiple Mathematical Reasoning Processes. In 2017, I had a year-long appointment working on Ursula Martin's Social Machine of Mathematics project.Previously, I was a Research Associate working on the EU/FP7 grant COINVENT in the Computational Creativity Group at Goldsmiths, University of London. I earned my doctorate at The Open University in Milton Keynes, with a thesis focused on peer produced support for peer learning in the mathematics domain. The main case study was planetmath.org, which I've been involved with since the early 2000's.

*Recent:*

- AISB 2018 Symposium: Cybernetic Serendipity Reimagined, Friday, April 6th, at University of Liverpool, as part of the 2018 AISB Convention.
- Enabling Mathematical Cultures, University of Oxford, 5th-7th December 2017. (The photo above was taken there by Benedikt Löwe.)
- AISB Members Workshop VII: Serendipity Symposium at St Mary's University on June 15th, 2017. [slides]
- "Lakatos-style Collaborative Mathematics through Dialectical, Structured and Abstract Argumentation" published in
*Artificial Intelligence*, Volume 246 (May 2017), pp. 181–219 [pdf, slides]

*Work in progress, submitted, or to appear:*

- Patterns of Design
- Modelling serendipity in a computational context
- Argumentation theory for mathematical argument
- The well-designed mathematical social machine