David Parker's research focuses on verification: formal techniques for checking that systems function correctly. In particular, he is interested in quantitative verification, which focuses on the analysis of systems with probabilistic and real-time behaviour.
Dr Parker's work spans the development of new theory, algorithms and tools for this area, as well as investigating its applicability to a wide range of areas, including biology and security. He also leads the development of the probabilistic model checking tool PRISM.
20012022
Research activity per year
Fingerprint
Dive into the research topics where Dave Parker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.