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.

Research Interests

I am broadly interested in the intersection of programming languages and security. I believe formal verification can be used to make the world a safer and better place.

I am currently focusing my attention on secure compilation, and I am more particularly interested in building secure compilers that can be formally verified to be secure in proof assistants.

Curriculum Vitae

My CV is available in French and in English.



Articles in Journals

Under Review




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