Upcoming events

- I am an invited speaker at Twenty Years of Deep Inference.
- I am an invited speaker at Workshop on External and Internal Calculi for Non-Classical Logics.
- I am lecturing
*Proof Interpretations: a modern perspective*with Thomas Powell at NASSLLI ’18. - I am lecturing
*Introduction to Proof Theory*with Thomas Powell at ESSLLI ’18.

I am a Marie Skłodowska-Curie research fellow at the University of Copenhagen.

Earlier I was a postdoc at École Normale Supérieure de Lyon and École Polytechnique. Before that I completed my PhD at the University of Bath in 2013.

My research focusses on proof theory, the area of mathematical logic concerned with formal proofs. In particular I am interested in the interactions between logic and computational complexity. During my PhD I studied proof complexity in the deep inference methodology. Since then I have become interested in approaches to complexity via weak theories of arithmetic and substructural logics. Aside from this, I also work on various aspects of rewriting theory and structural proof theory, in particular deep inference.

My Marie Skłodowska-Curie project, *Monotonicity in Logic and Complexity* (MiLC), aims to charactise (uniform) monotone complexity classes proof-theoretically. For more details and updates on the project, please see the project page.

I teach regularly in the classroom and laboratory for both mathematics and computer science. I also try to engage in outreach activities as often as I can.

Outside academia I used to be an amateur distance runner. My UK Athletics profile can be found here.