معرفی
David Parker is Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Trinity College. His research focuses on formal verification methods for checking system correctness, particularly quantitative verification techniques for probabilistic systems. As leader of the PRISM and PRISM-games projects, he develops tools for analyzing safety, reliability, and performance properties in complex systems.
Current research explores verification of AI systems, robust decision-making under uncertainty, and multi-agent systems using stochastic games. His work bridges theoretical foundations with applications in autonomous systems, robotics, and healthcare technology.
Recent publications demonstrate advancements in probabilistic temporal logic, robust policy learning, and bisimulation techniques for Markov models. These works consistently emphasize formal guarantees for safety-critical applications and novel approaches to model checking.
- ETAPS Test-of-Time Tool Award (2024)
- HVC Award (2016)
Professor Parker mentors PhD students in verification, control synthesis, and AI safety, with research funded by ERC, EPSRC, and industrial partners. He serves on editorial boards for Formal Aspects of Computing and ACM Transactions on Autonomous Systems.
