Skip to main content Skip to navigation

David Purser


Studying PhD Computer Science (Sept 2016 - present) in the Department of Computer Science, funded by EPSRC as a member of the Centre for Doctoral Training in Urban Science and Progress. I previously studied BSc Discrete Mathematics and MSc Data Analytics at the University of Warwick, where I have focused on various automata and formal languages.

My research into automatic verification of differential privacy is supervised by Dr Andrzej Murawski, Dr Dmitry Chistikov and Prof. Graham Cormode. The research will look into techniques and tools which can automate the verification of correctness of algorithms and/or programming languages intended to achieve differential privacy on sensitive data.


Publications can be found on my personal page or DBLP.


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


Other Activities

David Purser

David Purser

D dot J dot Purser at warwick dot ac dot uk