Jérémy Thibault


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

I am currently doing an internship in the Prosecco team at Inria Paris, supervised by Cătălin Hriţcu, on the subject of secure compilation.

Curriculum Vitae

My CV is available in French and in English.

Past work

From June to August 2017, I did an internship at Aarhus University under the supervision of Aslan Askarov, on the subject of language-based information flow security. Link to the report


You can contact me by e-mail at jeremy.thibault@ens-rennes.fr