Professor David Parker

David Parker


Turing Fellow

Partner Institution


David Parker is a Professor of Computer Science at the University of Birmingham. 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.