Room 316, Wolfson Building, Parks Road, Oxford OX1 3QD
interests
Broadly, my interests are in logic, semantics and verification. My research is in model checking for higher order programs, which is to say the algorithmic verification of software written in functional programming languages.
