Bio
David Parker is a Professor of Computer Science and Tutorial Fellow at the University of Oxford. Prior to that, he worked as a researcher at the University of Oxford. Previously, he completed both his PhD and BSc degrees at the University of Birmingham.
David’s research is in formal verification, with a particular focus on the analysis of probabilistic systems. He leads the development of the widely used probabilistic verification tools PRISM and PRISM-games.
Research interests
David’s current research interests lie in the development of techniques and tools for the formal verification of stochastic systems, with a particular emphasis on AI-based or learning-driven systems. This includes controller synthesis methods that offer safety guarantees in uncertain environments or in the context of multi-agent systems.