David Parker is a Professor of Computer Science at the University of Birmingham. Prior

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.