David Purser

Lecturer
Computer Science and Informatics
University of Liverpool

image of David Purser

Recent Publications

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Laure Daviaud, David Purser, Marie Tcheng.
LMCS 2025 doi
Resolving Nondeterminism by Chance
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
CONCUR 2025 doi
The Power of Counting Steps in Quantitative Games
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
CONCUR 2024 doi


Full publication list (including links to full and free versions)

Short Bio

I am a Lecturer (Assistant Professor) of computer science at the University of Liverpool, UK (since January 2023).

Previously I was a postdoctoral researcher at The University of Warsaw, Poland (2022), in the group of Wojciech Czerwiński and at The Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken (2020-2022), in the group of Joël Ouaknine. I completed my PhD in computer science at the University of Warwick in 2020, supervised by Andrzej Murawski, Dmitry Chistikov and Graham Cormode, funded by EPSRC through the Centre for Doctoral Training in Urban Science and Progress. Before that, I obtained a BSc in Discrete Mathematics and a MSc in Data Analytics, both from the University of Warwick.

I am currently one of the managing editors of TheoretiCS, a high-quality diamond open-access overlay journal. Please submit your best work.

Events

CONFEST'26 (O), Highlights'25 (T), MFCS'25 (PC), WA Rock (O), SAMSA'25 (O), Wild'25 (TI), Highlights'24 (T), LICS'24 (P), Infinite Automata'24 (A), CONCUR'23 (P), Infinity'23 (O), Highlights'23 (T), Bellairs'23 (T), Autobóz'22 (O), CONCUR'22 (P), FLoC + LICS'22 (P), Highlights'22 (T), Hermitage II (A), POPL'22 (P), CONCUR'21 (P), Highlights'21 (T), CAV'21 (P), WATA'20/21 (T), FSTTCS'20 (P), WPCCS'20 (T), Highlights'20 (A), CONCUR'20 (P), Autobóz'20 (A), ICALP'20 (P), WPCCS'19 (T,O), TPDP'19 (A), Highlights'19 (T), CONCUR'19 (P), Autobóz'19 (A), EPIT'19 (A), TPDP'18 (A), ATVA'18 (P), Highlights'18 + Erichfest (T), FLoC'18 (A), WPCCS'18 (T,O), BCTCS'18 (T), DIMAP10 (A), SREPLS-7 (O), Marktoberdorf'17 (A), WPCCS'17 (T,O)

P: Paper Talk, T: Talk, TI: Talk as Invited Speaker, A: Attendee, O: Organising Team, PC: Programme Committee

Teaching

  • COMP517 Programming Fundamentals, University of Liverpool (2023/24, 2024/25, 2025/26)
  • Project supervision, University of Liverpool (2022/23 onwards)
  • IN3064/INM704 Agents and Multi-Agents Systems, Visiting Lecturer, City, University of London (2021/22)
  • CS260 Algorithms, Associate Tutor, University of Warwick (2015/16, 2016/17, 2017/18, 2018/19, 2019/20)
  • CS910 Foundations of Data Analytics, Associate Tutor, University of Warwick (2016/17, 2017/18)
  • CS409 Algorithmic Game Theory, Associate Tutor, University of Warwick (2016/17)
  • CS259 Formal Languages, Associate Tutor, University of Warwick (2017/18, 2018/19)
  • CS126 Design of Information Structures, Associate Tutor, University of Warwick (2017/18)

Software / Code

Research software: Porous | Porous Github, Skolem | Skolem Solver Github

Possibly useful utilities: PDF Year calendars, Age calculator, Colour name finder, arXiv tool, GitHub, Python generated HTML/CSS (no JS) plots other