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.

• 07953 - First Semester Mini-Project
• 02637 - Project - Advanced MSc
• 07954 - Second Semester Mini-Project
• 21156 - Information and the Web