I am Professor of Computer Science at the University of Oxford and a Tutorial Fellow at Trinity College. Prior to that, I was a Professor in the School of Computer Science at the University of Birmingham.
- Probabilistic Verification for Systems Biology
- Software Model Checking
- Probabilistic Model Checking
- Quantitative Analysis and Verification