I am a first year PhD student advised by Paul Downen working in Formal Methods and Type Systems.

My research focuses on Programming Language (PL) theory, with a particular emphasis on the application of formal methods and type systems to ensure the correctness, safety, and security of software systems. My work spans two main 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.