I am moving to the Technische Universität Wien to work as a postdoctoral researcher in automated reasoning and program analysis. I was previously a research associate in infinite-state systems and dynamical systems at the University of Oxford. I studied for my PhD in Mathematics at the University of Warwick. My research interests include: asymptotic properties of groups, symbolic dynamics, recurrence sequences, and decidability.
PhD in Mathematics, 2017
University of Warwick
MMath, 2013
University of Warwick