image of David Purser

Latest Publications

Reachability in Dynamical Systems with Rounding. Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland. FSTTCS'20. doi.
Full Publication list (including links to full and free versions)

Small Bio

Currently a postdoctoral researcher of computer science at The Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, in the group of Joël Ouaknine. I generally work in the areas of formal languages, computational complexity, verification and privacy.

Previously I completed my phd in computer science at the University of Warwick, supervised by Andrzej Murawski, Dmitry Chistikov and Graham Cormode, funded by EPSRC as a member of 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 the co-ordinator of SIGLOG Monthly, a monthly newsletter for logic related happenings in computer science, send your call for papers and other announcements to

Where am I?

Past conferences: 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 (TO), 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 (TO), BCTCS'18 (T), DIMAP10 (A), SREPLS-7 (O), Marktoberdorf'17 (A), WPCCS'17 (TO)

P: Paper, T: Talk, A: Attendee, O: Organising Team


Possibly useful utilities by me