I'm from Glasgow in Scotland, and received a BSc and PhD in Computing Science from the University of Glasgow. I then spent a few years in research positions in Gothenburg and Utrecht, before moving to Nottingham where I am now Professor of Computer Science. I'm married to Annette, and we have two lovely boys. In my spare time I enjoy cars, cooking, and football. Both of our boys play in football teams, and we are all season ticket holders for Nottingham Forest.

I'm Professor of Computer Science at the University of Nottingham, where I co-lead the Functional Programming Lab and am the Director of Research.

My research interests are in functional programming, with an emphasis on formally-based approaches to program construction and verification. My aim is to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. My work covers a range of topics in this area, including functional parsing, relational programming, recursion operators, coinductive types, exceptions and interrupts, space and time complexity, concurrent programming, and program optimisation.

Current and recent work:

The under-performing unfold (2013);
Compilation à la carte (2013);
Work it, wrap it, fix it, fold it (2013);
Representing contractive functions on streams (2011).