The aim of my research is to improve the quality of software through the field of formal methods. I aspire to develop and apply methods to the most realistic systems possible.
I previously worked on the static analysis of Python and C programs within the ERC MOPSA project. I am one of the maintainers of the Mopsa static analyzer. I am also interested in the interaction between the law and the code, and I have designed with Denis Merigoux a modern compiler for the French tax code, which is being transferred to the French tax administration.
These days, I am exploring ways to facilitate the adoption of static analysis tools; static analysis of binary code following previous works of my team; and the ongoing application of formal methods to Catala, a domain-specific language for the implementation of legislative texts.
Feel free to send me an email if you are interested in working with me!
I will chair SOAP'24 program committee with Cindy Rubio González. More details coming soon!
I am honored to have received a Distinguished Artifact Reviewer Award at ECOOP'23.
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.
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: