I am a research student in the Surrey Centre for Cyber Security at the University of Surrey. My PhD is under the supervision of Helen Treharne, Steve Schneider and Liqun Chen. My PhD is funded by the EPSRC and Thales UK. As part of my PhD I completed the iCASE placement at Thales UK Research and Technology in Reading, and Thales eSecurity in Cambridge, UK.

My current research interests lie in the areas of automotive security and in formal modelling and verification of security protocols. In the past, I have worked on the development and implementation of model checking tools ProB and LTSmin. Future research directions I am interested in pursuing are combining my interests in verification tool development and computer security for machine-checked proofs of security protocols in symbolic models of cryptography. Additionally, I am interested in trusted computing technologies, and investigating areas of application of hardware security.

Want to learn more about me? See my CV.