Past Internships
A summary of my research internships during my academic studies.
Master 2 (MPRI) - 2019
De la Géométrie de l’Interaction à la Syntaxe Transcendentale with Thomas Seiller.
Master 1 - 2018
Sur l’espace des termes et des machines with Damiano Mazza.
L3 Informatique - 2017
Etude du langage PCF à travers les réseaux de preuve de la logique linéaire with Michele Pagani and Delia Kesner.
DUT Informatique - 2016
Formalisation des garanties de sécurité apportées par l’isolation de composants logiciels with Yannis Juglaret.