Latest Publications

The Big-O Problem for Labelled Markov Chains and Weighted Automata. Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser. CONCUR'20, to appear.
The Complexity of Verifying Loop-Free Programs as Differentially Private. Marco Gaboardi, Kobbi Nissim, David Purser. ICALP'20, doi.
Asymmetric Distances for Approximate Differential Privacy. Dmitry Chistikov, Andrzej S. Murawski, David Purser. CONCUR'19, doi.

Small Bio

Currently a Postdoctoral researcher at MPI-SWS, Saarbrücken, in the group of Joël Ouaknine. Previously I completed my phd 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 studied BSc Discrete Mathematics and MSc Data Analytics at the University of Warwick.

Where am I?

Future: CONCUR'20 (P), WATA'20/21 (A)
Past: 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

Possibly useful utilities by me