I am currently a postdoc at the Max Planck Institute for cybersecurity and privacy. Formerly, postdoc at INRIA in the team PROSECCO, supervised by Cătălin Hriţcu, and PhD student at Ecole Normale Supérieure de Lyon, and Università di Bologna, under the supervision of Daniel Hirschkoff and Davide Sangiorgi.
My phd defense can be watched on Youtube.
An updated version of my thesis can be downloaded here (updated on 06/11/2020 [aknowledgements]).
The slides of the defense can be downloaded here