I am a PhD student, working on Static Analysis of Dynamic Programming Languages under the supervision of Antoine Miné, within the ERC MOPSA project. You can find my CV here.
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
During 2018-2019, I am a teaching assistant in the following courses: