Jérémy Thibault


I am currently a PhD student in the Formally Verified Security group at Max Planck Institute for Security and Privacy, supervised by Cătălin Hriţcu, on the subject of secure compilation. I used to work in the Prosecco team at Inria Paris.

I was previously studying computer science at ISTIC at Université Rennes-I and at École Normale Supérieure of Rennes in the Computer Science department

Curriculum Vitae

My CV is available in French and in English.



Articles in Journals

Informal and Unpublished



You can contact me by e-mail at firstname.lastname@mpi-sp.org, where firstname = jeremy and lastname = thibault.