Published several papers such as 'The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)' and 'Resolving Nondeterminism by Chance.' Currently one of the managing editors of TheoretiCS, a high-quality diamond open-access overlay journal.
Research Experience
Postdoctoral researcher at the University of Warsaw, Poland (2022), in the group of Wojciech Czerwiński; and at the Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken (2020-2022), in the group of Joël Ouaknine.
Education
Completed his PhD in Computer Science at the University of Warwick in 2020, supervised by Andrzej Murawski, Dmitry Chistikov, and Graham Cormode. Prior to that, he obtained a BSc in Discrete Mathematics and an MSc in Data Analytics, both from the University of Warwick.
Background
Lecturer in Computer Science at the University of Liverpool, with research interests in computer science and informatics.
Miscellany
Personal interests include programming and developing useful utilities like PDF year calendars, age calculators, and color name finders.