- Semantics of Programming Languages
- Programming Language Theory
- Software Verification
- Complexity Theory
My research interests lie broadly in the field of semantics of programming languages and in particular in using semantic insights to shed a new light on concepts and problems arising in other areas. Most recently my efforts have concentrated on applying game semantics to program verification and model-checking with the aim of establishing it as a new foundation for the automatic extraction of models from programs.
Having obtained an MSc from Nicolaus Copernicus University in Toruń (Poland), I came to Oxford in 1998 to study for a DPhil in Computation (1998-2001). My thesis On semantic and type-theoretic aspects of polynomial-time computability explored the potential of game semantics to model resource-bounded computation. Subsequently I became a Junior Research Fellow at Wolfson College and a research officer on the EPSRC-funded project Algorithmic Game Semantics. In 2002 I was elected to a Junior Research Fellowship of St John's College and from 2005 I hold an EPSRC Advanced Research Fellowship.
