
Dr David Purser
Lecturer Computer Science
- Work email D.Purser@liverpool.ac.uk
- Personal WebsitePersonal webpage
- About
- Publications
- Teaching
About
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.