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