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 academic interests lie in computational aspects of Algebraic Dynamical Systems and their applications in Verification and Program Analysis. My research advances scientific frontiers in the Theory of Computation and Computational Complexity through the design and analysis of algorithms.
Download my CV.
PhD in Mathematics, 2017
University of Warwick
Masters of Mathematics, 2013
University of Warwick