About Thomas Powell

Mathematician and theoretical computer scientist. Interested in proof theory and its applications. Reader at the University of Bath, UK.

Lists

Timeline

{username} has no activity yet