I am a research fellow in Computer Science and Informatics at Liverpool John Moores University. Before moving to Liverpool, I was a research associate, at the Technische Universität Wien, working in Formal Verification and Program Analysis. I was previously a research associate in Infinite-State Systems and Dynamical Systems at the University of Oxford.
My research interests span asymptotic properties of groups, symbolic dynamics, linear dynamical systems, formal methods, and decision problems. Much of my recent work considers the Skolem and Positivity Problems, two long-standing open decision problems, for recurrence sequences.
Download my CV.
PhD in Mathematics, 2017
University of Warwick
Master of Mathematics, 2013
University of Warwick