My research is in verification: formal techniques for checking that systems function correctly. In particular, I am interested in quantitative verification, which focuses on the analysis of systems with probabilistic and real-time behaviour. My 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. I also lead the development of the probabilistic model checking tool PRISM.
See my web site for more details.