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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Active
-
New Investigator: Imperative programs from proofs
Engineering and Physical Sciences Research Council
23/01/23 → 22/01/26
Project: Research council
-
Research output
-
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 AccessFile2 Citations (SciVal)14 Downloads (Pure) -
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 -
A note on the finitization of Abelian and Tauberian theorems
Powell, T., 7 Oct 2020, In: Mathematical Logic Quarterly. 66, 3, p. 300-310 11 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (SciVal) -
A unifying framework for continuity and complexity in higher types
Powell, T., 9 Sept 2020, In: Logical Methods in Computer Science. 16, 3, p. 17:1-17:28Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (SciVal)