image of David Purser

Latest Publications

The boundedness and zero isolation problems for weighted automata over nonnegative rationals. Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland. LICS 2022 doi
Full publication list (including links to full and free versions)

Small Bio

Currently a postdoctoral researcher of computer science at The University of Warsaw, Poland (since 2022), in the group of Wojciech Czerwiński.

Previously I was a postdoctoral researcher 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 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 las-lics@lists.tu-berlin.de.

Where am I?

Autoboz'22 (O), CONCUR'22 (P), 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 (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

Teaching

Software / Code

Research software: Porous | Porous Github, Skolem

Warwick: Warwick LaTeX Posters (Warwick login required), Warwick LaTeX Beamer Theme (on GitHub)

Possibly useful utilities: PDF Year calendars, Age calculator, Colour name finder, arXiv tool, more...