Thomas Powell HomePapersTalksTeachingCV


I am a Lecturer (Assistant Professor) in the Department of Computer Science at the University of Bath, where I'm a member of the Mathematical Foundations of Computation group.

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.

I obtained my PhD in 2013 from Queen Mary University of London, where I was part of the Theory Group. My advisors were Paulo Oliva and Edmund Robinson.


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:

More information can be found on my publications or talks pages.

proof theory blog

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.

recent news

upcoming events

academic profiles


trjp20 AT bath DOT ac DOT uk

Department of Computer Science
University of Bath
Bath BA2 7AY
United Kingdom