Static Analysis by Abstract Interpretation Collecting Types of Python Programs.
Under the supervision of Antoine Miné - March to August 2018.

APR team, LIP6, Sorbonne Université, Paris, France.

Formal verification of Static Analyses of Floating-point Programs.
Under the supervision of Eva Darulova - February to June 2017.

Automated Verification and Approximation team, MPI-SWS, Saarbrücken, Germany.

Black-box Variational Inference in Probabilistic Programming.
Under the supervision of Hongseok Yang - May to July 2016.

Department of Computer Science, University of Oxford, UK.

Abstract Interpretation of Concurrent Programs.
Under the supervision of Antoine Miné - June & July 2015.

ANTIQUE Team, École Normale Supérieure, Paris, France.

Parisian Master of Research in Computer Science, 2017 - 2018

Université Paris Diderot, France

Master in Fundamental Computer Science, 2015 - 2017

École Normale Supérieure de Lyon, France

BSc in Fundamental Computer Science, 2014 - 2015

École Normale Supérieure de Lyon, France

Classes préparatoires MPSI/MP*, option info, 2012 - 2014

Lycée Louis-le-Grand, Paris, France