Upcoming events
- I am co-organising the Caleidoscope Research School in Computational Complexity in Paris, June 17-21.
- I am co-organising Structures and Deduction 2019, in Dortmund, June 29-30.
- I am on the programme committee of Logic and Computational Complexity 2019, in Patras, July 8.
- I will be participating in the Proof, Computation, Complexity program at the Institut Mittag-Leffler in Djursholm, July 15-19.
- I am on the programme committee of Tableaux 2019, in London, September 3-5.
- I am on the programme committee of Circularity in Syntax and Semantics in Gothenburg, November 20-22.
- I will be participating in the SAT and Interactions Dagstuhl Seminar at the Schloss Dagstuhl – Leibniz Center for Informatics in Dagstuhl, February 2-7 2020.
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.