Chercheur au CRIL (CNRS UMR 8188) | Faculté des Sciences Jean Perrin
Expert en Intelligence Artificielle, Représentation des Connaissances, SAT/CSP et IA Explicable
(XAI).
HDR soutenue en 2019 : "Promenade au-delà de NP".
Prix obtenu à la conférence UAI 2025 (Uncertainty in Artificial
Intelligence) pour l'article :
« Probabilistic Explanations for Regression Models »
avec F. Koriche et C. Tran.
Je serai Program Chair de la conférence nationale JFPC 2026.
Lauréat du programme Cai Yuanpei (Collaboration France-Chine) avec le Prof. Shaowei Cai.
Nommé au Comité de Direction du GDR RADIA (Relations Monde Socio-Économique).
Compilation et Représentations Avancées en d-DNNF et Optimisation de Circuits.
Collaboration bilatérale France-Chine avec l'Institute of Software (CAS, Beijing).
Membre actif (Porteur : P. Marquis). Responsable du développement logiciel (PyXAI).
Co-Responsable de l'axe AIC (Algorithmes pour l'Inférence et
Contraintes).
Animation scientifique et coordination de 16 chercheurs permanents.
Collaborations actives avec :
La production logicielle est un pilier de ma recherche. Mes travaux visent à transformer les modèles théoriques en outils performants (State-of-the-Art).
Compilateur de connaissances (CNF vers d-DNNF) pour le comptage de modèles (#P). Vainqueur régulier de la Model Counting Competition.
Voir sur GitHubBibliothèque Python pour l'explicabilité des modèles d'apprentissage supervisé (Arbres, Forêts). Génération d'explications formelles.
Site OfficielSuccesseur de CoQuiAAS. Solveur d'argumentation abstraite performant, régulièrement primé aux compétitions ICCMA.
En savoir plusMaster Informatique (ILJ) - Faculté des Sciences Jean Perrin
Pilotage de la formation, ingénierie pédagogique et relations industrielles (Partenariats Plaine Images, Game-In).
Formation orientée vers l'industrie vidéoludique et le développement haute performance.