I'm a postdoc at the University of Aberdeen, where I do research on logic and the philosophy of mathematics as a member of the Set Theoretic Pluralism project. I recently finished my PhD at the University of Bristol, where I worked with Leon Horsten.

My research concerns philosophical questions surrounding reverse mathematics.

If you'd like to get in touch, please email me at benedict@eastaugh.net (here's my PGP public key).

In collaboration with Shawn A. Miller I have created a wiki of PhD programmes with strengths in the philosophy of mathematics; you can visit it at philmath.net.

## Recent and upcoming talks

Workshop on ontological commitment in mathematics.

IHPST, Paris,
December 2015.

Seventh French Philosophy of Mathematics Workshop.

Paris VII,
November 2015.

Logic Colloquium 2015.

University of Helsinki,
August 2015.

CLMPS 2015.

University of Helsinki,
August 2015.