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