I am currently the product developer at cmcl innovations, a small company based in Cambridge, UK that provides software and consulting supporting green technologies. In addition to this role, I am lecturing the Part IB (2nd year undergraduate) course on Logic & Proof at the Computer Laboratory, University of Cambridge in Michaelmas Term 2010. I am also a research visitor of the Computational Modelling Group, Department of Chemical Engineering and Biotechnology, University of Cambridge.
In January 2010, I completed my PhD at the Computer Laboratory of the University of Cambridge. I was supervised during my research by Prof. Lawrence C. Paulson and Prof. Michael J. C. Gordon and funded by a Gates Scholarship; I was a member of the Automated Reasoning Group. My research interests include machine-verified proof, using theorem-provers such as Isabelle and HOL4, probabilistic algorithms, privacy, and anonymous communication.