I am an Associate Professor and UKRI Future Leaders Fellow in the School of Computer Science at the University of Birmingham. Until 2019 I was a Marie Skłodowska-Curie research fellow at the University of Copenhagen, after postdoctoral positions at École Normale Supérieure de Lyon and École Polytechnique. I completed my PhD at the University of Bath in 2013 and have a Master’s in Mathematics from the University of Oxford in 2010.
My interests, broadly construed, lie at the interface between mathematical logic and computation. Much of my research explores such interactions via proof theory, a discipline that studies mathematical proofs as formal objects in their own right. The computational approach to this subject exposes beautiful connections between logic and computation, including proof normalisation as program execution (Curry-Howard correspondence), proof search as computation (logic programming), proof systems as non-deterministic models (proof complexity), and complexity/computability-motivated subsystems of arithmetic (e.g. bounded arithmetic and reverse mathematics). Currently I am particularly active in deep inference proof theory and in the theory of cyclic proofs.
I teach regularly in the classroom and laboratory for both mathematics and computer science. At the University of Birmingham I currently teach Algorithms & Complexity with Dr Rajesh Chitnis. I also frequently engage in outreach activities, which I am happy to be contacted about.
I am the founder and co-editor of the Proof Theory Blog, a community blog for sharing knowledge and discussing research.
Outside academia I used to be an amateur distance runner. My UK Athletics profile can be found here.