David Parker
Professor of Computer Science · www.cs.ox.ac.uk · University of Oxford
Quick answer: David Parker is Professor of Computer Science at University of Oxford. David Parker shows an active PhD hiring signal as of 2026-09-11.
⭐ If you are interested in undertaking a PhD or student project in any of these areas, please get in touch.
Postdoc position available now with Nobuko Yoshida and I on probabilistic verification for concurrency. Applications close on 30th April 2025. Details here.
Post-doc opportunity at Oxford. Come and work with us on verified decision making as part of the UKRI AI Hub Project. Applications close
Research interests
Automated Verification, Probabilistic Verification for Systems Biology, Software Model Checking, Probabilistic Model Checking, Quantitative Analysis and Verification, PRISM
Selected publications (since 2023)
[Jan 2026] New paper on robust concurrent stochastic games to appear at TACAS 2026.
[Dec 2025:] I'm giving a keynote talk at SETTA 2025 entitled "Robust verification and control under uncertainty".
[Nov 2025] New paper on robust factored MDPs to appear at AAAI 2026.
[Sep 2025:] New paper surveying applications of probabilistic model checking, a contribution to the Festschrift for Christel Baier.
[Aug 2025:] Congratulations to Zainab Fatmi, whose paper "Robust Probabilistic Bisimilarity for Labelled Markov Chains" just won a CAV Distinguished Paper Award.
[Aug 2025:] Looking forward to presenting a tutorial at the VeTSS Summer School later this month.
[Jun 2025:] Looking forward to speaking at the Safe & Trusted AI summer school next month.
[Jun 2025:] New paper on learning probabilistic te
Frequently asked questions
Is David Parker hiring PhD students at University of Oxford?
Yes. As of 2026-09-11, David Parker's faculty page shows a PhD hiring signal: If you are interested in undertaking a PhD or student project in any of these areas, please get in touch.
Postdoc position available now with Nobuko Yoshida and I on probabilistic verification for con.
What does David Parker research?
Automated Verification, Probabilistic Verification for Systems Biology, Software Model Checking, Probabilistic Model Checking, Quantitative Analysis and Verification, PRISM
Data last updated: 2026-09-11 · Source: phd-match.com faculty database.
Is David Parker a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching