So far my research has focussed on proof theory and, in particular, deep inference, a methodology which allows proofs to be composed by connectives of the associated logic. Analytic proofs in such systems are more efficient, in terms of size, than their traditional counterparts, and my PhD thesis concentrates on measuring this efficiency in the setting of proof complexity. I am also interested in rewriting theory and the proof theory of logics over relational structures.
I teach regularly in the classroom and laboratory for both mathematics and computer science.
Outside academia I used to be an amateur distance runner. My UK Athletics profile can be found here.