David Parker
Reader, Computer Science, University of Birmingham


My research is in verification: formal techniques for checking that systems function correctly. In particular, I work on quantitative verification, which is used to check quantitative properties such as safety, reliability, performance and many others. See here for a short introduction to the topic.

This involves building and analysing models with probabilistic and real-time behaviour. I work on novel techniques to improve the scalability of verification (e.g. abstraction, compositionality), game-theoretic verification methods, and applications of these techniques to a variety of areas, including systems biology, DNA computing, computer security and robotics.

If you are interested in undertaking a PhD or student project in any of these areas, please get in touch.

I also lead the development of PRISM, the most widely-used software tool for verification of probabilistic systems. See here or here to read about PRISM, or download it and take the online tutorial.


My current interests include: