@thomaspowell@mathstodon.xyz
Joined: 03/16/2023
Mathematician and theoretical computer scientist. Interested in proof theory and its applications. Reader at the University of Bath, UK.
thomaspowell has no public lists
thomaspowell has no activity yet