Dave Parker

View Scopus Profile

Dave Parker

Prof

 https://orcid.org/0000-0003-4137-8862

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
Other chapter contribution

Search results

  • Other chapter contribution

    Permissive Controller Synthesis for Probabilistic Systems

    Dräger, K., Forejt, V., Kwiatkowska, M., Parker, D. & Ujma, M., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Springer, Vol. 8413. p. 531-546 16 p. Chapter 44. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    16 Citations (Scopus)