Dave Parker


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.


Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results