Skip to main content

David Purser

Study

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

Publications can be found on DBLP.

Events

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

Other Activities

David Purser

David Purser

D dot J dot Purser at warwick dot ac dot uk


Office

MB4.21