I am a PhD student in Philosophy at the University of Bristol. My research interests lie primarily in logic and philosophy of mathematics; at present I'm mainly working on the philosophical issues raised by reverse mathematics.
From mid-May to early July I am visiting the MCMP in Munich. I am also attending the Logic Colloquium in Vienna this July, as well as the summer school Proof, Truth, Computation at Chiemsee.
If you'd like to get in touch, please email me at email@example.com (here's my PGP public key).
Recent and upcoming talks
Logic Colloquium 2014.
Vienna University of Technology, Monday 14th July 2014.
Work in Progress Seminar.
Munich Center for Mathematical Philosophy, June 2014.
University of Birmingham, March 2014.
KU Leuven, February 2014.
University of Bristol, September 2013.
Bristol–Munich Workshop 2013.
University of Bristol, July 2013.