Academic career
Education
- 2013-2016: PhD in Computer Science, Université Paris-Sud, Orsay, France
Supervisors: Meghyn Bienvenu and François Goasdoué
- 2012-2013: Master of Science in Computer Science, Université Paris-Sud, Orsay, France
- 2010-2013: Engineering school, Supelec, Gif-sur-Yvette, France
Participation in research projects
- 2020-2026: INTENDED project (AI chair - ANR & U Bordeaux), participant
- 2023-2024: PHC AURORA, principal investigator
- 2019-2024: CQFD project (ANR), participant
- 2017-2018: DICOS project (ANR), participant
- 2016-2017: HAEC project (Collaborative Research Center), participant
- 2013-2016: PAGODA project (ANR), participant
Teaching activities
- 2022-2025: Description logics (M1 Données, Connaissances et Intelligence), Université Paris Cité
- 2022-2024: Description logics and reasoning on data (M2 Logique et Fondements de l'Informatique), Université Paris Cité
- 2019-2024: Knowledge graphs, description logics, reasoning on data (M2 Intelligence Artificielle, Systèmes, Données), Université Paris Sciences & Lettres
- 2013-2016: TD-TP Introduction à l'intelligence artificielle (L3), Université Paris-Sud
- 2015-2016: TD-TP Programmation orientée objet et génie logiciel (L2), Université Paris-Sud
- 2014-2015: TD Logique pour l'informatique (L3), Université Paris-Sud
- 2013-2014: TD Projet professionnel (L1), Université Paris-Sud
Service to the scientific community
Member of the DL steering committee.
Co-chair of the KR 2024 Doctoral Consortium.
Program co-chair of the Artificial Intelligence in Bergen research school, AIB 22.
Member of the organizing committee of BDA 2021.
Organization of the 2019 annual meeting of GT ALGA.
Reviewing
I support open access and prefer not to review for venues whose content is not at least freely accessible. I took this pledge.
I served as a PC member for the following conferences.
- 2025: CSL, IJCAI
- 2024: AAAI, IJCAI, DL, BDA (demo)
- 2023: AAAI, IJCAI, ECAI, KR, DL
- 2022: AAAI, IJCAI-ECAI, KR, DL
- 2021: AAAI, IJCAI (senior PC member), KR
- 2020: AAAI, IJCAI, ECAI, KR, TIME, DL
- 2019: AAAI, IJCAI, HQA
- 2017: BDA (demo)
I have been a reviewer for the following conferences or journals.
- 2024: KR, Logical Methods in Computer Science, Journal of Artificial Intelligence Research
- 2023: Logical Methods in Computer Science
- 2022: Journal of Artificial Intelligence Research
- 2020: Logical Methods in Computer Science
- 2019: DL, ECSQARU
- 2018: KR, Fundamenta Informaticae
- 2017: IJCAI, ISWC
- 2016: IJCAI