I am a logician and philosopher of mathematics at the University of Warwick and the Munich Center for Mathematical Philosophy.

You can contact me at benedict@eastaugh.net.

## Research interests

My research is primarily in logic and the philosophy of mathematics, where my research interests revolve around using computability theory and reverse mathematics to study foundational questions concerning mathematical knowledge and ontology. My current project extends the use of these tools to investigate the limits of rational belief and decision-making, in contexts like formal epistemology and social choice theory.

## Previously

After completing my PhD in philosophy at the the University of Bristol, I joined a Leverhulme Trust-funded project on set-theoretic pluralism, working first at the University of Aberdeen and then in the School of Mathematics at the University of Bristol, with Toby Meadows and Philip Welch. I then moved to Munich to work as a postdoctoral fellow at the MCMP with Hannes Leitgeb.