I am interested in the theory of programming languages: semantics, types, logics. I am particularly interested in game semantics and their applications to program verification and hardware compilation:

• An introduction to and history of Game Semantics: Applications of Game Semantics: From Software Analysis to Ha rdware Synthesis LICS 2009 (invited tutorial paper), Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, Los Angeles, California, USA.
• An introduction to the Geometry of Synthesis, a new way of synthesising digital circuits using semantic concepts: Function Interface Models for Hardware Compilation (invited tutorial paper) MEMOCODE 2011. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign Cambridge, UK. July 11-13, 2011

• EPSRC Advanced Research Fellow 2006-2011, University of Birmingham, UK
• PhD Computer Science 1999-2002, Queen's University, Canada
• MSc Computer Science 1995-1997, Queen's University, Canada
• BSc (Hons) Computer Science 1992-1995, Memorial University of Newfoundland, Canada

• Self-maintained publication list
• DBLP publication list
• Google Scholar page

• 22754 - LC Foundations of Computer Science