I am currently in the second year of my PhD research as a member of the Automated Reasoning Group at the Computer Laboratory of the University of Cambridge. I am supervised by Larry Paulson and Mike Gordon.
My research focuses on the use of formal methods to analyse the privacy properties of anonymous communication systems. I am currently working with the Dining Cryptographers Protocol using information theory formalised in the HOL4 theorem prover.