I am a final-year PhD student at the Surrey Centre for Cyber Security, University of Surrey focusing on formal methods and verification for cybersecurity.
I am interested in bridging the gap between theory and real-world impact and evaluating the security of computer systems within a broader context.
After growing up in the Shetland Islands, I made the transition to city living at the University of Dundee, Scotland, where I completed my BSc (Hons) Computing Science in 2020.
I then moved to Switzerland to study MSc Computer Science at ETH Zürich. In 2023 I wrote my MSc thesis on symbolic models of group and ring signatures with the Information Security Group.