Thomas Powell Home ⚬ Papers ⚬ Talks ⚬ Teaching ⚬ CV

me

I am a Senior Lecturer (equivalent to Associate Professor) in the Department of Computer Science at the University of Bath, and a member of the Mathematical Foundations of Computation group.

Before joining Bath in 2020 my research took me to a several different places, including the Logic Group at TU Darmstadt and the Institut des Hautes Études Scientifiques in Paris. Further details can be found on my CV.

See also my Bath university and ORCID profiles.

I am now on Mathstodon. I hope I'll soon have time to post on the Proof Theory Blog.

research

My main areas of research are proof theory, functional analysis and optimization, 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.

activities

I am Principal Investigator for the EPSRC project Imperative Programs from Proofs, which runs for three years from January 2023.

I organise the new Southern and Midlands Logic Seminar, a collaboration between Bath, Birmingham, Oxford and UCL, which is supported by a London Mathematical Society Joint Research Groups grant.

Together with Anupam Das, I co-edit the Proof Theory Blog, 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.

During the pandemic, I co-founded and was a committee member of the Proof Theory Virtual Seminar. Slides and videos for some of the talks can be found here.

upcoming events

phd students

contact

trjp20 AT bath DOT ac DOT uk

+44 (0) 1225 384085

1 WEST 4.61
Department of Computer Science
University of Bath
Bath BA2 7AY
United Kingdom

Webpage last modified March 2024