Presentation

Research Interests

My main research interests focus on knowledge compilation, databases theory, graph theory and complexity theory. I am interested in using knowledge compilation to unify and re-explain existing tractability results and discover how hard problems, such as counting problems or enumeration, can be solved on structured instances. For example, my thesis has focused on using knowledge compilation to transform structured CNF formulas into data structures allowing for model counting, hence recovering in a unifying framework every existing algorithm for solving the #SAT problem.

Bio

Since September 2026, I hold a professorship at University of Artois, working at the CRIL laboratory. I defended my habilitation in June 2026. Before that, I had a junior professor position (a kind of very french tenure track) at University of Artois from 2023 to 2026. From 2017 to 2023, I was an assistant professor (Maître de Conférences) at University of Lille in the LINKS Inria team. I have been a postdoctoral fellow at Birkbeck College, working with Igor Razgon between 2016 and 2017. In June 2016, I defended my PhD thesis Structural restrictions of CNF-formulas: applications to model counting and knowledge compilation, prepared under the supervision of Arnaud Durand at Paris Diderot University, which is now part of Université Paris-Cité.

Research Projects

• I am the project investigator of the ANR JCJC project KCODA.
• My junior professor chair comes with a grant that I dedicate to the TruKC project on certifying knowledge compilers and related tools. More details coming soon.

Students

I am lucky to serve or to have served as a PhD advisor of:

• Nicolas Crosetti (2018 - 2023), now research engineer at Groupe SII
• Oliver Irwin (2022 - 2026), now postdoc at TU Ilmenau.

Publications

Here is a (most probably outdated) list of my publications. DBLP often does a better job than myself at keeping track of my publication record! I try to add a free and long version of every paper listed below on arXiv. If something is missing, do not hesitate to contact me and ask! You may find some paper on arXiv that I have not added in the list. The reason is often that it corresponds to an old version of some better paper.

Journals

Conferences

Preprint

Manuscripts

Posters

Talks

You can find material on the recent talks I gave or will be given (show older talks).

Teaching

• A list of some lectures notes and exercise session I prepared can be found here (in French).
• In December 2017, Jean-Marie Lagniez, Pierre Marquis and I gave a 24h research school entitled An Overview of Knowledge Compilation at ENS Lyon.
• If you are a student at Université d’Artois, you can find teaching material on Moodle.