I am currently a DPhil student (known as a PhD student outside of Oxford) at the Computing Laboratory, Oxford, and have worked on the abc project with the Programming Tools Group for several years. I am supervised by Professor Oege de Moor. The main topic of my doctoral work is aspect-oriented programming (AOP), particularly efficient trace monitoring in the context of declarative specifications for runtime verification.

I used to be a member of Magdalen College, but since October 2007 I have been a Senior Scholar at Christ Church.

My research interests include extensible languages and compilers, runtime verification, program instrumentation and analysis, automatic test generation, declarative formalisms and deductive databases.

My CV is available here.

• Contact Information
• Publications