Raphaël Monat
Research Scientist (he/him)
Inria & University of Lille
I am a research scientist in the SyCoMoRES team at Inria Lille. I hold a Ph.D in computer science, advised by Antoine Miné, during which I worked on the static analysis of Python (and Python+C) programs within the ERC MOPSA project. I have designed with Denis Merigoux a modern compiler for the French tax code, which is being transferred to the French tax administration.
The aim of my research is to improve the quality of software through the field of formal methods, and mainly automated program verification. I aspire to develop and apply methods to the most realistic systems possible. I have a particular interest in implementations of computational laws (taxes, benefits).
These days, I am exploring
- ways to facilitate the adoption of static analysis tools,
- developing formal methods tools for Catala, a domain-specific language for the implementation of legislative texts. This is a joint research project with Aymeric Fromherz.
- static analysis of binary code following previous works of my team.
I am also one of the maintainers of the Mopsa static analyzer.
I am looking for motivated interns, PhD students (sample PhD topic), postdocs & collaborators. Applicants from all backgrounds, horizons, genders and ages are encouraged to apply. Informal inquiries are welcome, do feel free to send me an email!
News
-
Check out our ESOP'25 preprint on Concolic Execution for Computational Law!
-
Mopsa won the Silver medal in the SoftwareSystems category of SV-Comp 2025.
-
Looking forward to attending Dagstuhl Seminar on “Sound Static Program Analysis in Modern Software Engineering”
-
Looking forward to attending Dagstuhl Seminar on “Testing Program Analyzers and Verifiers”
-
I have been awarded an ANR Young Researcher Grant to pursue Resource-Aware Conservative Static Analysis (RAISIN), starting Fall 2024!
-
Gave a tutorial at the Lipari Summer School on Abstract Interpretation.
-
"Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law" has been accepted at ESOP'24. Delighted to announce that this work has been awarded the ETAPS best tool paper!
For our second participation, Mopsa won the gold medal by a long shot in the SoftwareSystems category of SV-Comp. In our first participation, we earned the bronze medal. See more details in our short TACAS paper.
- I am a member of the “Source code and software” subgroup from the French Committee for Open Science.
Previous Research Experiences
-
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.
Recent Publications
Recent Talks
Students
Current students
- Milla Valnet, PhD student (since Sep. 2023), co-advised by Antoine Miné.
- Pierre Goutagny, PhD student (started Sep. 2024), co-advised by Aymeric Fromherz and Patrick Baillot.
Past students
- Aymane Ismail, M2 project (Jan. – Feb. 2025).
- Pierre Goutagny, M2 intern (Oct. 2023 – March 2024), co-advised by Aymeric Fromherz.
- Andrei Florea, PhD student (Sep. 2022 – Sep. 2023), co-advised by Julien Forget and Clément Ballabriga.
- Milla Valnet, M2 intern (March – July 2022), co-advised by Antoine Miné.
Software
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:
Community Service
Chairing
-
ECOOP 2025 Aritfact Evaluation chair with Karine Even-Mendoza and Yannick Zakowski
-
ECOOP 2024 Artifact Evaluation chair with Karine Even-Mendoza
-
Invited editor for STTT special issue with Cindy Rubio González
-
SOAP 2024 PC chair with Cindy Rubio González
Program Committee
- SAS 2025
- SV-Comp 2025
- NSAD 2024
- DEBT 2024
- SV-Comp 2024
- JFLA 2024
- SOAP 2023
- SV-Comp 2023
- SAS 2022
External Review Committee
- ECOOP 2023 (rounds 1 & 2)
- SPLASH 2023 (rounds 1 & 2)
- SPLASH 2022 (round 2)
External Review
- JLAMP 2024 (x 2)
- STTT 2024
- Journal of Systems & Software 2024
- ATVA 2023
- Science of Computer Programming
- LOPSTR 2019
- SOAP 2021
- ACM TECS
- SAS 2021
Artifact Evaluation Committee
- ECOOP 2023 (rounds 1 & 2)
- SPLASH 2023 (rounds 1 & 2)
- SPLASH 2022 (round 2)
- PLDI 2022
- CAV 2022
- ECOOP 2021
- PLDI 2021
- POPL 2021
- SAS 2020
Scientific expertise
- External ANR reviewer in 2023
Others
- Part of the benchmark quality assurance team of SV-Comp, in charge of maintaining the repository and the quality of more than 30,000 C programs used in the competition and by the community to evaluate new analyses.
- POPL 2017 Student Volunteer
Some specific French duties
Niveau national
-
Jury concours 2025 CRCN/ISFP Inria Lille.
-
J’ai été jury en Juin 2023 et en Juin 2024 des oraux d’informatique, sur les concours d’entrées aux Écoles Normales Supérieures via les filières MP et MPI des classes préparatoires. Les rapport du jury sont disponibles (2023, 2024)
-
Depuis Mars 2022, je suis membre du “collège logiciel” du Comité National pour la Science Ouverte.
Niveau local
- Co-organisation avec Clémentine Maurice, d’une visite des laboratoires CRIStAL et Inria pour les étudiant.e.s de L3 et M1 de l’ENS Rennes (janvier 2025). Cette visite sur 3 jours a permis à 44 étudiant.e.s d’interagir avec une bonne quarantaine de collègues (postdoc, ingénieurs de recherche, C et E/C), rattachés à CRIStAL, Inria et l’IRCICA.
- Je participe à la commission parité et égalité femmes-hommes du laboratoire CRIStAL depuis janvier 2023.
- Je suis membre suppléant de la FSS de l’Inria Lille (Formation Spécialisée de Site, ex CLHSCT), depuis janvier 2023.
Visibility
- SV-Comp 2025 Silver Medal in the “Software Systems” category.
- Amazon Research Award, Fall 2024.
- Lecturer at the Lipari 2024 Summer School on Abstract Interpretation.
- ETAPS 2024 best tool paper award for “Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law”.
- Invited speaker at the ETAPS 2024 Mentoring Workshop.
- SV-Comp 2024 Gold Medal in the “Software Systems” category.
- SV-Comp 2023 Bronze Medal in the “Software Systems” category.
- ECOOP 2023 Distinguished Artifact Reviewer Award.
- Attended Dagstuhl Seminar 23281.
- SOAP 2020 Best Presentation Award for “Value and Allocation Sensitivity in Static Python Analyses”.
Enseignement (en français)
2024-2025
- Compilation, M1 Université de Lille
2023-2024
- Compilation, M1 Université de Lille.
2022-2023
- Compilation, M1 Université de Lille.
2021-2022
- LU1IN002 : éléments de programmation (C).
- LU2IN005 : mathématiques discrètes.
- LU2IN019 : programmation fonctionnelle (OCaml).
- LU2IN024 : logique.
- MU4IN500 : algorithmique avancée.
- MU5IN554 : spécification et validation de programmes.
- MU5IN555 : typage et analyse statique.
- MPRI 2.6 : abstract interpretation, slides
2020-2021
- LU3IN002 : programmation orientée objet avancée (Java).
2019-2020
- LU1IN001 : éléments de programmation (Python).
- MU4IN500 : algorithmique avancée.
2018-2019
- 1I001 : éléments de programmation (Python).
- ARE Calrais : atelier de recherche encadré sur le calcul et le raisonnement.
- 2I008 : programmation fonctionnelle en OCaml
- 3I018 : compilation.