Thomas Powell


I am a postdoctoral researcher in mathematics, working in the Logic Group of the Department of Mathematics at the Technische Universität Darmstadt.

Previously I held a postdoctoral position in the Computational Logic group at the University of Innsbruck, and a CARMIN research fellowship at the Institut des Hautes Études Scientifiques. I obtained my PhD from Queen Mary University of London.

See here for a full summary of my career to date.

Email: powell AT mathematik DOT tu-darmstadt DOT de

Tel: (+49)06151-16-22844

Office: S2|15-226

Address: Fachbereich Mathematik
Schlossgartenstraße 7
64289 Darmstadt


My main area of research is mathematical logic and proof theory. More specifically I focus on topics related to functional interpretations, including the extraction of computational content from proofs and higher type computability theory. I am particularly interested in applications of proof theoretic techniques, in both mathematics and computer science.


Technical reports


Here are slides from some talks I've given, along with details of meetings I have, or will be attending.



Other events