I completed an MA (hons) in Mathematics and Philosophy in 2010 at the University of St Andrews, then moved to Amsterdam to do the Master of Logic at the Institute for Logic Language and Computation. I finished my PhD at the University of St Andrews in 2016 with a thesis on “Proof, Rigour and Informality: A Virtue Account of Mathematical Knowledge”. During the PhD I also undertook a research stay at the University of Connecticut, joining the UConn Logic Group.
After my PhD, I took up a postdoc on the “Social Machines of Mathematics” project led by Prof Ursula Martin at the University of Oxford. I returned to St Andrews once more for a one year Associate Lectureship to teach logic, before coming to Loughborough University in 2018.
I am a philosopher of mathematics and logician.