My main area of research interest is Software Security for the protection of intellectual property. I am particularly interested in applying formal methods such as Refinement, Software Specification, Abstract Data-Types and Functional Programming to Obfuscation and Watermarking. Recently I have looked at creating obfuscations that are designed to withstand slicing attacks.
I'm the Access and Schools Liaison Officer so I often run sessions for school students to introduce them to Computer Science and Oxford. I am particularly interested in bridging the gap between school mathematics and computer science.
