Thomas Powell HomePapersTalksTeachingCV

current position

since May 2020 Lecturer (Assistant Professor), then Senior Lecturer (Associate Professor)
Department of Computer Science
University of Bath

previous positions

Oct 2016 – Apr 2020 Postdoctoral Researcher
Logic Group, Department of Mathematics
TU Darmstadt

Oct 2014 – Sep 2016 Postdoctoral Researcher
Computational Logic Group, Department of Computer Science
University of Innsbruck

Oct 2013 – Sep 2014 CARMIN Postdoctoral Research Fellow
Institut des Hautes Études Scientifiques
with combined stay at Institut Henri Poincaré

education

Oct 2009 – May 2013 PhD in Computer Science
Theory Group, Department of Electronic Engineering and Computer Science
(my advisors were Paulo Oliva and Edmund Robinson)
Queen Mary University of London

Oct 2008 – Jun 2009 Certificate of Advanced Study in Mathematics (Part III)
University of Cambridge

Oct 2005 – Jun 2008 BA in Mathematics
University of Cambridge