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: belardinelli[at]ibisc[dot]fr

Last updated 22/11/2016