David Purser

Postdoctoral Researcher, University of Warsaw

Latest Publications

What's Decidable about Linear Loops? Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell. POPL 2022 doi

The Orbit Problem for Parametric Linear Dynamical Systems. Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell. CONCUR 2021 doi

Porous Invariants. Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell. CAV 2021. doi Tool link.

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 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?

Conferences: 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

IN3064/INM704 Agents and Multi-Agents Systems, 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)

Possibly useful utilities by me

Research software: Porous, Porous Github, Skolem

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

Utilities: PDF Year calendars, Age calculator, Colour name finder, more...