MA PhD (Cantab)
Hugh Price Fellow; Royal Society University Research Fellow; Associate Professor in Computer Science

Academic background

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.  

Undergraduate teaching

Principles of Programming Languages

Research interests

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.

Links

See also my page at the Department for Computer Science.