I have been the Tutorial Fellow in Computer Science at St John's College since 2017. In particular, I tutor first- and second-year core Computer Science subjects. Previously I had been at St John's as a college lecturer for three years. I have been an Associate Professor in the Department of Computer Science since 2014. In 2009 I completed my PhD at the Technical University of Munich, just before I moved to Oxford.
My research is on the theory and practice of automatic verification of computer systems, in particular those with inherently stochastic behaviour. This involves various techniques, including automata, logics, numerical analysis, queueing and probability theory. I hold a University Research Fellowship of the Royal Society, pursuing my project on quantitative analysis of infinite-state systems.