I am a postdoc researcher in the Secure Systems Group (SSG) at Aalto University. Additionally, I am in the process of finishing my PhD with the Surrey Centre for Cyber Security at the University of Surrey. My PhD was under the supervision of Helen Treharne, Steve Schneider and Liqun Chen. My PhD was funded by the EPSRC and Thales UK. As part of my PhD I completed an 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 formal modelling and verification of security protocols, consensus protocols, and platform security. 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.