Contents:

Research

Main interests

Research project: LoRMAE – Logics for Reasoning about Multi-Agent Environments

From 2013 till 2015, I was member of this international collaboration coordinated by Andreas Herzig (IRIT, CNRS) and Renata Wasserman (IME, USP). As the name suggests, the idea is to propose formalisms (logics) able to represent and reason about such environments.
[site of the project]

Research project: RELM – "Raisonnement Efficace en Logique Modale" (Efficient Reasoning in Modal Logic)

From 2011 till 2013 and together with Saïd Jabbour, I coordinated this small research project funded by the Université d'Artois. It consists in the study of efficient reasoning methods for modal logics. The idea is to propose translations from several modal logics to the logic of Quantified Boolean Formulas (QBF) and then to apply QBF solvers to them.

Selected publications

(For the complete list of my publications, please, consult: Publications.)

Academic Service

Students

Ph.D.: Masters student: Other (internship, etc.):

Past activities