I am research and teaching assistant, working on Static Analysis of Dynamic Programming Languages with Antoine Miné, within the ERC MOPSA project.
My CV is available in French and in English.
I am a PC member of SAS'22, please consider submitting your latest works!
I am a member of the “Source code and software” subgroup from the French Committee for Open Science.
I have defended my thesis on November 22, 2021. I am looking for academic positions starting in fall 2022. If you think I would be a good fit for your team or lab, please let me know!
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries.
Under the supervision of Antoine Miné - 2018 -- 2021.
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
PDF DOI Approved Artefact Preprint (HAL) Slides Talk Talk (YouTube) Event
PDF Slides Video DOI Approved Artefact Code (github) HAL Event
PDF DOI Approved Artefact Slides Talk (video) Talk (YouTube) Mopsa Project Mopsa's Gitlab Event
I strongly believe that academic prototypes accompanying research papers are important to show that a proposed technique works. I care about improving these prototypes to make them usable tools accessible to others, although it takes a lot of effort.
I am proud to be one of the core contributors of the following software: