Photo of Dr David Purser

Dr David Purser

Lecturer Computer Science


    Personal Statement

    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.