George Kenison

George Kenison

Postdoctoral Researcher

Technische Universität Wien


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.

  • Dynamical Systems
  • Ergodic Theory
  • Formal Verification
  • PhD in Mathematics, 2017

    University of Warwick

  • MMath, 2013

    University of Warwick


Postdoctoral Researcher
May 2021 – Present Vienna
Researcher in Automated Reasoning and Program Analysis
Stipendiary Lecturer
Oct 2018 – Oct 2020 Oxford
Lecturer in Pure Mathematics
Postdoctoral Researcher
Jun 2018 – Mar 2021 Oxford
Researcher in Infinite-State Systems and Dynamical Systems
Teaching Associate
Aug 2017 – May 2018 Bristol
Academic Tutor in Mathematics

Publications and Preprints