Thomas Powell

me

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
Germany

Research

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.

Papers

Technical reports

Activities

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

Upcoming

Talks

Other events