Until recently I was a postdoctoral researcher in the Logic Group at TU Darmstadt, and prior to that I held postdoctoral positions in the Computational Logic group at the University of Innsbruck and the Institut des Hautes Études Scientifiques in Paris.
My main areas of research are proof theory, computability theory, and program semantics. I am particularly interested in applications of proof theoretic techniques in different areas of mathematics and computer science. To date, most of my papers are concerned with one or more of the following topics:
Together with Anupam Das, I co-edit the Proof Theory Blog. Launched in June 2020, this is a collaborative project which aims to give proof theorists a venue for communicating ideas and a platform for discussion. Participation is open to all, and if you want to get involved in any capacity please get in touch by email.
trjp20 AT bath DOT ac DOT uk
Department of Computer Science
University of Bath
Bath BA2 7AY