Théophile Wallez

About me

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.

Other websites


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!

Laptop photos

A collection of photos of people working hard on their computer, even during vacations.

Various accounts on the Internet

You can find me on: