Skip to main content

About

I am a lecturer of computer science at the University of Liverpool since January 2023 and am a member of the Verification research group. My research interests are in weighted automata, vector addition systems and infinite state systems.

Previously I was a postdoctoral researcher at The University of Warsaw, Poland and at The Max Planck Institute for Software Systems in Saarbrücken, Germany. I completed my PhD in computer science at the University of Warwick.