Raphaël Monat

Raphaël Monat is a Research Scientist in the SyCoMoRES team at Inria Lille, affiliated with University of Lille. He holds a Ph.D. in computer science from Sorbonne Université, advised by Antoine Miné, and has designed a modern compiler for the French tax code with Denis Merigoux.

His educational background includes a Ph.D. in Static Type and Value Analysis by Abstract Interpretation of Python Programs (2018-2021) at Sorbonne Université, Formal verification of Static Analyses of Floating-point Programs (2017) at MPI-SWS, Black-box Variational Inference in Probabilistic Programming (2016) at University of Oxford, and Abstract Interpretation of Concurrent Programs (2015) at École Normale Supérieure.

Raphaël's research focuses on improving software quality through formal methods, particularly automated program verification. He has a special interest in implementations of computational laws (taxes, benefits) and is currently developing formal methods tools for Catala, a domain-specific language for legislative texts. He is also one of the maintainers of the Mopsa static analyzer and explores ways to facilitate the adoption of static analysis tools.

His recent publications demonstrate expertise across static analysis, computational law, and program verification, with articles published in top venues including ESOP, ECOOP, and TACAS. His work shows a consistent trend toward making formal methods applicable to real-world systems, particularly in public administration contexts.

• ETAPS 2025 distinguished artifact for 'CUTECat: Concolic Execution for Computational Law'
• SV-Comp 2025 Silver Medal in the 'Software Systems' category
• Amazon Research Award, Fall 2024
• ETAPS 2024 best tool paper award
• SV-Comp 2024 Gold Medal in the 'Software Systems' category

Raphaël actively mentors students including Milla Valnet and Pierre Goutagny, and has received funding from Amazon Research Awards and ANR-JCJC RAISIN project for his research on resource-aware conservative static analysis. He serves as Artifact Evaluation chair for PLDI 2026 and ECOOP 2025, and participates in the 'collège logiciel' of the French Committee for Open Science.