## Latest Publications

The Big-O Problem for Labelled Markov Chains and Weighted Automata. Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser. CONCUR'20, doi.

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.

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.

## Where am I?

Future conferences: Highlights'20 (A), WATA'20/21 (A)

Past conferences: 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

- CS260 Algorithms, University of Warwick (2015/16, 2016/17, 2017/18, 2018/19, 2019/20)
- CS910 Foundations of Data Analytics, University of Warwick (2016/17, 2017/18)
- CS409 Algorithmic Game Theory, University of Warwick (2016/17)
- CS259 Formal Languages, University of Warwick (2017/18, 2018/19)
- CS126 Design of Information Structures, University of Warwick (2017/18)

## Possibly useful utilities by me

Warwick LaTeX Posters (Warwick login required),
Warwick LaTeX Beamer Theme (on GitHub),
PDF Year calendars,
Age calculator,
Colour name finder,
more...