## 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.
arXiv.

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.

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?

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

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