I obtained a degree in mathematics from the University of Oxford and a PhD in computer science from the University of Birmingham.
Between 1998 and 2007 I was a Research Fellow in the School of Computer Science at the University of Birmingham working on the EPSRC funded projects: "Automatic Verification of Randomized Distributed Algorithms" (rated outstanding), "Verification of Quality of Service Properties in Timed Systems" (rated outstanding) and "Probabilistic Model Checking of Mobile Ad Hoc Network Protocols". In addition during this time I was a team member of both the "A Future Of Reliable Wireless Ad hoc networks of Roaming Devices (FORWARD) project" which was part of the Next Wave Technologies and Markets, and the, Microsoft Research Cambridge funded, project "Predictive modeling of signalling pathways via probabilistic model checking with PRISM".
In July 2007, I became a research officer in the Oxford University Computing Laboratory working on the EPSRC funded project "UbiVal: Fundamental Approaches to Validation of Ubiquitous
Computing Applications and Infrastructures" (EPSRC Research Grant EP/D077273/1) which is a collaboration between University of Birmingham, UCL and Imperial College.
In addition, since 1998 I have been one of the principal developers on the probabilistic verification tool PRISM.
