My main research interests are in the area of probabilistic verification and, in particular, probabilistic model checking. Within these fields, some of the topics I am currently working on include abstraction techniques, symmetry reduction, software verification and symbolic model checking. I am also one of the principal developers on the probabilistic verification tool PRISM.
I am currently a research officer at the Oxford University Computing Laboratory, working in the group of Marta Kwiatkowska on the EPSRC-funded project Automated quantitative software verification with PRISM. Between 2002 and 2007, I worked as a research fellow at the School of Computer Science, University of Birmingham, first on the EPSRC-funded research project "Automated Verification of Probabilistic Protocols with PRISM" and then on the MSR-funded project "Predictive Modelling of Signalling Pathways via Probabilistic Model Checking with PRISM". I also completed my PhD in Birmingham (August 2002), on the topic "Implementation of Symbolic Model Checking for Probabilistic Systems".
links
Teaching for 2008/9: Probabilistic Model Checking
