Researcher at CRIL (CNRS UMR 8188) | Jean Perrin Faculty of Science
Expert in Artificial Intelligence, Knowledge Representation, SAT/CSP, and Explainable AI (XAI).
HDR defended in 2019: "Promenade au-delà de NP".
Awarded at UAI 2025 (Uncertainty in Artificial Intelligence) for the
paper:
"Probabilistic Explanations for Regression Models"
with F. Koriche and C. Tran.
I will serve as Program Chair for the JFPC 2026 conference (French Days on Constraint Programming).
Laureate of the Cai Yuanpei program (France-China bilateral collaboration) with Prof. Shaowei Cai.
Appointed to the Steering Committee of GDR RADIA (CNRS), in charge of Socio-Economic Relations.
Advanced Compilation and Representations in d-DNNF and Circuit Optimization.
Bilateral collaboration with the Institute of Software (CAS, Beijing).
Co-Head of the AIC Track (Algorithms for Inference and Constraints).
Scientific animation and coordination of 16 permanent researchers.
Active collaborations with:
Development of high-performance tools defining the State-of-the-Art in compilation, solving, and explainability.
Knowledge Compiler (CNF to d-DNNF) for Model Counting (#P). Regular winner of the Model Counting Competition.
View on GitHubPython library for Explainable AI (Tree-based models, Random Forests). Generates formal abductive and contrastive explanations.
Official WebsiteSuccessor to CoQuiAAS. Efficient Abstract Argumentation solver, multiple award winner at ICCMA competitions.
Learn moreMaster's in Computer Science (ILJ) - Jean Perrin Faculty of Science
Program management, pedagogical engineering, and industrial relations (Partnerships with Plaine Images, Game-In).
Curriculum focused on the video game industry and high-performance development.