I am a logician and philosopher of mathematics, based at the Munich Center for Mathematical Philosophy.
My research is in logic and the philosophy of mathematics. My current project uses tools and results from reverse mathematics, a subfield of mathematical logic, to determine the strength of the axioms that are necessary for arguments in different areas of philosophy, such as epistemology, philosophy of language, and metaphysics. I'm also working on some results relating axiomatic theories of truth to hyperarithmetical analysis, and the role of reverse mathematics in foundations of mathematics.
Before coming to Munich, I was attached to a project on set-theoretic pluralism at the University of Aberdeen and the University of Bristol, working with Toby Meadows and Philip Welch.
If you'd like to get in touch, please email me at firstname.lastname@example.org.
- I will be speaking at the MCMP–Western Ontario Workshop on Computation in Scientific Theory and Practice, May 31–June 2.
- I will be speaking at the 1st SNS Pisa–MCMP Meeting, May 27.
- I spoke at the University of Connecticut Logic Colloquium on March 29.
- I spoke at MWPMW 19 at the University of Notre Dame, on the role of coding in reverse mathematics.
- My paper “Computational reverse mathematics and foundational analysis” is available as a preprint.
- My paper “Set existence and closure conditions: unravelling the standard view of reverse mathematics” is out in Philosophia Mathematica (preprint) (DOI).