I am a PhD student in computer science at INRIA Paris in the Prosecco team under the supervision of Karthikeyan Bhargavan and Jonathan Protzenko.
I studied in the computer science department of ENS Paris and in 2020 graduated from the Master Parisien de Recherche en Informatique (MPRI).
My research field is the formal verification of cryptographic software, applied to the secure group messaging protocol MLS.
I enjoy cooking a lot! I wrote a few recipes, techniques and thoughts (in French) on this website. It happens to also be a webring between former students of ENS Paris!
A collection of photos of people working hard on their computer, even during vacations.
You can find me on: