conf.researchr.org / David Parker
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