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 languages features. The projects can range from usability studies of programming languages to advanced programming language semantics projects. Recently, I was also working on program synthesis, correctness by construction, and verification of quantum programs. Please contact 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 2 of 2024 onwards.