Photo of Thomas Powell

Thomas Powell

Dr

  • 1 WEST 4.61

20112020

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.
  • 2 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
If you made any changes in Pure these will be visible here soon.