My research interests are in deductive verification and programming languages. I am working on using the Iris framework in Coq for the verification of Ocaml programs.
I graduated with a MSc. in Computer Science from the University of Oxford in 2023 and a BSc in Computer Science and Mathematics from Ecole Polytechnique in 2022.
During my undergraduate I worked as a research assitant at the Trustworthy Systems group at the University of New South Wales (formerly Data 61). I worked on the Pancake language, helping boostrap a formally verified compiler for it.