I am a Second year PhD student advised by Paul Downen working in type theory, Formal Methods, and Cryptography

My research focuses on Programming Language (PL) theory, with a particular emphasis on the application of logic and type theory to ensure the correctness, safety, and security of software systems. My work spans two areas: the use of mechanized logic to verify software and its compilation, and in applying PL techniques to cryptography which extends my research to formal verification of cryptographic protocols such as differential privacy and, more recently, to zero-knowledge proofs, using the EasyCrypt proof assistant.

Outside of research I enjoy traveling, exploring the outdoors, and cooking.