since May 2020
Lecturer (Assistant Professor), then Senior Lecturer (Associate Professor)
Department of Computer Science
University of Bath
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é
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