I have been in Oxford since 2015. I currently hold a University Research Fellowship from the Royal Society. Before arriving in Oxford, I held Research Fellowships, Lectureships and Postdoctoral positions in Cambridge, Paris and Nijmegen. My PhD (2007) and Degree (2002) are from Cambridge.
Principles of Programming Languages
My research revolves around programming language theory, and I’m also interested in logic. Recently I have been especially interested in Probabilistic Programming languages, for statistical modelling, and also Quantum Programming Languages for quantum computing.
See also my page at the Department for Computer Science.