Research output per year

If you made any changes in Pure these will be visible here soon.

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 level. Dive into details by clicking on the dots.

Research Output

  • 9 Article
  • 6 Conference contribution
  • 3 Chapter
  • 1 Doctoral Thesis

Dependent choice as a termination principle

Powell, T., 1 May 2020, In : Archive for Mathematical Logic. 59, 3-4, p. 503-516 14 p.

Research output: Contribution to journalArticle

Rates of convergence for iterative solutions of equations involving set-valued accretive operators

Kohlenbach, U. & Powell, T., 23 Apr 2020, In : Computers & Mathematics with Applications. 80, 3, p. 490-503 14 p.

Research output: Contribution to journalArticle

Well quasi-orders and the functional interpretation

Powell, T., 2020, Well-Quasi Orders in Computation, Logic, Language and Reasoning. Schuster, P., Seisenberger, M. & Weiermann, A. (eds.). Springer International Publishing, p. 221-269 Chapter 9. (Trends in Logic; vol. 53).

Research output: Chapter in Book/Report/Conference proceedingChapter

An algorithmic approach to the existence of ideal objects in commutative algebra

Powell, T., Schuster, P. & Wiesnet, F., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. p. 533-549 (Lecture Notes in Computer Science; vol. 11541).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)