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.
- 2 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/25
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
-
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Powell, T., 26 Jan 2024, In: Logical Methods in Computer Science. 20, 1, p. 7:1–7:32Research output: Contribution to journal › Article › peer-review
Open Access -
A computational study of a class of recursive inequalities
Powell, T. & Neri, K., 1 Sept 2023, In: Journal of Logic and Analysis. 44 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory
Powell, T., 30 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 30 p., 103231.Research output: Contribution to journal › Article › peer-review
Open Access -
A universal algorithm for Krull's theorem
Powell, T., Schuster, P. & Wiesnet, F., 30 Sept 2022, In: Information and Computation. 287, 104761.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Rates of convergence for asymptotically weakly contractive mappings in normed spaces
Powell, T. & Wiesnet, F., 31 Dec 2021, In: Numerical Functional Analysis and Optimization. 42, 15Research output: Contribution to journal › Article › peer-review
Open Access