conf.researchr.org / David Parker
![David Parker](https://conf.researchr.org/getProfileImage/davidparker/a8cd9eb6-43d2-4945-84ae-a3d35681881b/small.jpg?1712604658000)
Registered user since Wed 15 Jul 2015
Name:David Parker
Country:United Kingdom
Affiliation:University of Oxford
Personal website: https://www.cs.ox.ac.uk/people/david.parker/home.html
X (Twitter): https://x.com/davexparker
GitHub: https://github.com/davexparker
Research interests:Probabilistic verification
Contributions