Skip to main content
What types of page to search?

Alternatively use our A-Z index.

About

I am a lecturer of computer science at the University of Liverpool since January 2023 and am a member of the Trustworthy Computing Subject Group and 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.

At Liverpool, I teach COMP517 Programming Fundamentals, run the Competitive Programming Club and lead on Research People Culture and Environment in Computer Science & Informatics. I'm also managing editor for TheoretiCS.

Publications: DBLP, Google Scholar, Personal List