David Purser

Dr David Purser is a Lecturer in Computer Science at the University of Liverpool since January 2023 and a member of the Verification research group. His career spans postdoctoral research at the University of Warsaw and the Max Planck Institute for Software Systems, with a PhD from the University of Warwick.

Research Interests:

• Weighted automata
• Vector addition systems
• Infinite state systems
• Formal verification
• Concurrency theory

Key Contributions: Recent publications focus on nondeterminism resolution in systems, decidability problems in automata theory, porous invariants for linear systems, and step-counting in quantitative games. His work bridges computational logic, formal methods, and algorithm design.

Teaching & Professional Roles: Co-ordinator for COMP517 Programming Fundamentals, supervisor of undergraduate and postgraduate projects, and co-founder of the Competitive Programming Club. He serves as Managing Editor for TheoretiCS and REF Environment lead in his department.