News

Research

I 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 this 3-minute introduction to seamless computing:

  • Watch a longer lecture I gave on the topic of seamless computing (departmental seminar)
  • Read a fairly accessible introduction to and history of Game Semantics (LICS'09)
  • Read a slightly more technical introduction to the Geometry of Synthesis (MEMOCODE'11) or watch a video of the associated talk

    • I have a small collection of research talks on Vimeo.

    Activities

    I am a founding co-chair, with Guy McCusker, of the workshop Game Semantics for Logic and Languages (GaLoP).

    I have been an invited speaker at LICS 2009, LOLA 2010, MEMOCODE 2011, MPC 2012, TGC 2012.

    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.

    Locations of visitors to this page