I work on the intersection of security and programming languages. My own research language is Wyvern but I am also interested in modern languages such as Rust. I work on ownership, immutability, effects, capabilities and other security-related programming language features. The projects can range from usability studies of programming languages to advanced programming language semantics projects. Recently, I have also been working on program synthesis, correctness by construction, and verification of quantum programs. Please get in touch with me directly if you want to do an individual research project and we can discuss what options I may have. I am seeking new undergraduate project students from Semester 1 of 2025 onwards.