Dave Parker

Prof

Accepting PhD Students

PhD projects

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

Filter
Chapter

Search results

  • 2004

    Symbolic representations and analysis of large probabilistic systems

    Miner, A., Parker, D., Baier, C., Haverkort, B., Hermanns, H., Katoen, J-P., Siegle, M. & Vaandrager, F., 1 Jan 2004, Validation of Stochastic Systems: A Guide to Current Research.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    41 Citations (Scopus)