- Associate professor at Université Paris 8 and member of LIASD lab, France
- Co-head of the Masters program in computer science
- Honorary professor in the Department of Computer Science, University of Cape Town, South Africa
- Adjunct researcher, Institute of Science and Information Technology “A. Faedo” (ISTI-CNR), Italy
- Associate editor of Artificial Intelligence (AIJ)
- Associate editor of the Journal of Artificial Intelligence Research (JAIR)
- Associate editor of the Logics journal
- Member of the steering committee of the International Workshop on Nonmonotonic Reasoning
- Recipient of the first Louis Couturat Logic Prize and of the first Universal Logic Prize (2018)
- Project leader of a Campus France PHC Protea project
- Member of the ANR AGGREEY research project
- Member of the BE4musIA research chair
- Lecturer of formal logic and automated reasoning, Masters level
- Lecturer of knowledge representation and reasoning, Masters level
- Lecturer of object-oriented programming, undergraduate level
- Lecturer of algorithmics and programming, undergraduate level