Mathematician and theoretical computer scientist. Interested in proof theory and its applications. Senior Lecturer (Associate Professor) at the University of Bath, UK.
👤 Visit Thomaspowells profile 👤 Thomaspowells Profil besuchen
Tags: applications associate computer interested lecturer mathematician professor scientist theoretical university