Laboratoire d'Informatique de Paris Nord Institut Galilée Université de Paris Nord
Maître de Conférences — Chaire CNRS Research group: "Logic, Reasoning, Computation"