Raphaël Monat

Raphaël Monat

PhD in Static Analysis

LIP6, Sorbonne Université


I am a PhD student, working on Static Analysis of Dynamic Programming Languages under the supervision of Antoine Miné, within the ERC MOPSA project.

I expect to graduate by the end of 2021.

Previous Research Experiences

  • 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.


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:


Mlang is a new compiler for M, the domain specific language used by the French Tax Administration to compute the income tax. This is joint work with Denis Merigoux.


Mopsa is a framework to write static analyses by abstract interpretation.

Community Service

External Review

  • LOPSTR 2019
  • SOAP 2021
  • SAS 2021

Artifact Evaluation Program Committee

  • SAS 2020
  • POPL 2021
  • PLDI 2021
  • ECOOP 2021

Student Volunteering

  • POPL 2017



  • LU3IN002: advanced object-oriented programming (Java)


  • LU1IN001: introduction to programming (using Python).
  • MU4IN500: advanced algorithmics.