Jérémy Thibault

Me

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.

Publications

Conferences

Articles in Journals

Informal and Unpublished

Internships

Contact

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