Dr Francesco Belardinelli

I am Maître de Conférences (Associate Professor) at the Laboratoire IBISC, Université d'Evry.

My research focuses on the applications of logic-based formalisms to Artificial Intelligence.
Specifically, I am interested in modal and first-order logics for the specification and verification of multi-agent systems.

Contact details:
Laboratoire IBISC
Batiment IBGBI
23 Bd de France
91034, Evry (Fr)

e-mail: francesco[dot]belardinelli[at]univ-evry[dot]fr

Last updated 14/03/2018