David Parker (Preferred)
David Parker
Full Professor, University of Oxford
Joined
May 2021
Names
Emails
****@cs.bham.ac.uk (Confirmed)
****@cs.ox.ac.uk (Confirmed)
Personal Links
Career & Education History
Full Professor
University of Oxford (ox.ac.uk)
2022 – Present
Full Professor
Birmingham University (bham.ac.uk)
2012 – 2022
Advisors, Relations & Conflicts
Expertise
formal verification
, sequential decision making under uncertainty
, Markov decision processes
, stochastic games
Present
Publications
Co-Authors
- Ahmed Al-Ajeli
- Aistis Simaitis
- Alastair F. Donaldson
- Alessandro Abate
- Alexander Bork
- Alexandre Duret-Lutz
- Alexandros Evangelidis
- Alice Miller
- Andrea Turrini
- Andrew Hinton
- Andrew S. Miner
- Armin Biere
- Arnd Hartmanns
- Avi Pfeffer
- Barbara Jobstmann
- Bettina Könighofer
- Björn Wachter
- Bruno Lacerda
- Bryant Israelsen
- Carlos E. Budde
- Catuscia Palamidessi
- Cheng Li
- Chris Novakovic
- Christel Baier
- Christian Dehnert