Raphaël Monat
Research Scientist
Inria & University of Lille
I am a research scientist in the SyCoMoRES team at Inria Lille. I hold a Ph.D in computer science, supervised by Antoine Miné.
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.
My CV is available in French and in English.
Feel free to send me an email if you are interested in working with me!
News
-
I will chair SOAP'24 program committee with Cindy Rubio González. More details coming soon!
-
I will chair ECOOP'24 artifact evaluation committee with Karine Even-Mendoza.
-
I am honored to have received a Distinguished Artifact Reviewer Award at ECOOP'23.
-
I was invited to the Dagstuhl Seminar on Theoretical Advances and Emerging Applications in Abstract Interpretation.
-
For our first participation, Mopsa earns the bronze medal in the SoftwareSystems category of SV-Comp (co-located with ETAPS)!
-
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.