










SponsorCaroline Elder Scholarship & SASPOffice19.303Email DegreesMSc Logic, University of Amsterdam 2012; MA (hons) Mathematics and Philosophy, University of St Andrews 2010Main Research TopicInformal Proofs in MathematicsOther Research InterestsPhilosophy of Mathematics, Logic, Epistemology, Truth, LanguageSupervisorsAaron Cotnoir & Patrick GreenoughRecent Teaching"Knowing How and Mathematical Proof", Prize Honours Seminar, Spring 2016
PY2012 Meaning and Knowing, Spring 2016
PY2010 Intermediate Logic, Autumn 2015
PY1006 Reasoning and Knowledge, Spring 2015
PY2004 Modern Philosophy, Spring 2014
PY2001 Formal and Philosophical Logic, Autumn 2013Recent Publications(2015) ``A Problem with the Dependence of Informal Proofs on Formal Proofs'', Philosophia Mathematica III, Vol 23 Issue 3, pp. 295310.
(forthcoming) ``Saving Proof from Paradox: Goedel's Paradox and the Inconsistency of Informal Mathematics'', in Paraconsistent Reasoning in Science and Mathematics, part of the Trends in Logic series, Springer.Recent Talks"Rigour, Proof and Mathematical Virtues", 3rd Meeting of the Association for the Philosophy of Mathematical Practice, Institut Henri Poincaré, Paris, Nov 2015.
"Rigour, Proof and Mathematical Virtues", for Zagzebski's visit to St Andrews, Sep 2015. Catered with cake.
“Proof in Mathematics and the Open Texture of Mathematical Concepts”, Cultures of Mathematics IV, New Delhi, India, Mar 2015.
“Saving Proof from Paradox: Gödel's Paradox and the Inconsistency of Informal Mathematics”, Cambridge Graduate Conference in Logic and Philosophy of Mathematics 2015, Cambridge, Jan 2015.
“Informal Proof and Mathematical KnowHow”, Uconn Logic Group, UConn, CT, USA, Oct 2014.
“A Problem with the Dependence of Informal Proofs on Formal Proofs”, Uconn Logic Group, UConn, CT, USA, Sep 2014.
“Saving Proof from Paradox: Gödel's Paradox and the Inconsistency of Informal Mathematics”, Paraconsistent Reasoning in Science and Mathematics, LMU München, Munich, Germany, Jun 2014
NationalityBritish 








