I am an assistant professor in philosophy at the University of Warwick and an external fellow of the Munich Center for Mathematical Philosophy.

You can contact me at benedict@eastaugh.net or follow me @beastaugh@mathstodon.xyz.


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.


I got my PhD in philosophy at Bristol in 2015. Before coming to Warwick I had postdocs at the MCMP with Hannes Leitgeb, and at Aberdeen and Bristol with Toby Meadows and Philip Welch. More details are available in my CV.