Projects per year
Personal profile
Research interests
My main areas of research are proof theory, computability theory and program semantics. I am particularly interested in applications of proof theoretic techniques to different areas of mathematics and computer science. See my personal page for more information.
Fingerprint
Dive into the research topics where Thomas Powell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Southern and Midlands Logic Seminar 24/25 renewal
Powell, T. (PI)
3/11/24 → 30/09/26
Project: UK charity
-
New Investigator: Imperative programs from proofs
Powell, T. (PI)
Engineering and Physical Sciences Research Council
23/01/23 → 22/01/26
Project: Research council
-
-
Joint Research Groups (Scheme 3): Southern Logic Seminar
Powell, T. (PI)
1/12/22 → 30/09/23
Project: UK charity
Research output
-
An approximate zero-one law via the Dialectica interpretation
Powell, T. & Wan, A., 28 Aug 2025, (Submitted) arXiv.Research output: Working paper / Preprint › Preprint
-
A quantitative Robbins-Siegmund theorem
Neri, M. & Powell, T., 13 Sept 2025, (Acceptance date) In: Annals of Applied Probability.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
Generalized learnability of stochastic principles
Neri, M., Pischke, N. & Powell, T., 20 Jun 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Proceedings. Beckmann, A., Oitavem, I. & Manea, F. (eds.). Cham, Switzerland: Springer, p. 333-348 16 p. (Lecture Notes in Computer Science; vol. 15764 LNCS).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open AccessFile1 Citation (SciVal)40 Downloads (Pure) -
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
Neri, M. & Powell, T., 31 Dec 2025, In: Transactions of the American Mathematical Society. 12, p. 974-1019 46 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (SciVal)8 Downloads (Pure) -
Proof mining and high-level proof theoretic reasoning: A case study on greedy approximation schemes
Powell, T., 28 Nov 2025, (E-pub ahead of print) In: Bulletin of Symbolic Logic.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
Mathematical Colloquium, TU Darmstadt
Powell, T. (Invited speaker)
17 Jul 2024Activity: Academic conferences and events (excluding conference publications) › Other academic event (organisation, presentation, attendance)
-
40th British Colloquium for Theoretical Computer Science
Powell, T. (Organiser)
4 Apr 2024 → 5 Apr 2024Activity: Academic conferences and events (excluding conference publications) › Major conference organising role
-
International Workshop on Programs from Proofs
Powell, T. (Organiser)
15 Sept 2025 → 16 Sept 2025Activity: Academic conferences and events (excluding conference publications) › Major conference organising role