ResearchI research programming languages. The tools that I use in their study are type systems and semantics, particularly game semantics. The main problem I try to solve is compiling conventional programming languages on unconventional architectures. I like to call this seamless computing. For more details you can:
Watch a 3-minute introduction to seamless computing or a longer lecture I gave on the topic of seamless computing (departmental seminar)
I have a small collection of research talks on Vimeo.
I am a founding co-chair, with Guy McCusker, of the workshop Game Semantics for Logic and Languages (GaLoP).
I have served on the program committee of TLCA 2009, LICS 2010, POPL 2012, FSTTCS 2013, MFPS 2011 and 2013, FOSSACS 2009 and 2013 as well as a number of workshops.