Research output per year
Research output per year
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
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Parker, D. (Principal Investigator)
23/11/15 → 23/11/19
Project: Research
Kunze, L. (Co-Investigator), Hawes, N. (Co-Investigator) & Parker, D. (Principal Investigator)
Engineering & Physical Science Research Council
31/12/14 → 29/06/18
Project: Research Councils
Parker, D. (Principal Investigator)
Engineering & Physical Science Research Council
4/11/13 → 31/10/14
Project: Research Councils
Rowe, J. (Principal Investigator), Good, C. (Co-Investigator) & Parker, D. (Co-Investigator)
European Commission - Management Costs, European Commission
1/10/12 → 30/04/16
Project: Research