I am a visiting Post Doc 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, 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 trusted computing technologies and investigating areas of application.

Want to learn more about me? See my CV.