I completed my DPhil thesis in 2008 on nominal game semantics and right now I am a postdoctoral researcher working on project LINT: logic of interaction and information flow. My general field of interest is semantics of programming languages. My research has focussed on game semantics, functional reachability and semantics of interaction.
