I am Professor of Computer Science and Deputy Head of Department (People, Culture and Environment) in the Department of Computer Science at the University of Bath. I joined Bath as a Professor in 2006 after working for several years at the University of Sussex. Previously: I was a Junior Research Fellow at St Johns College in Oxford; completed a PhD at Imperial College, London under the supervision of Samson Abramsky; and was an undergraduate at Oxford.

I enjoy thinking about mathematical models of programs and programming languages, especially so-called "intensional" models which expose how programs compute as well as what they compute. I've done a lot of work on game semantics, and more recently have focussed on relational models which are a little simpler than games but still fascinating.