|
Ongoing Projects
Past Projects
- 2018-21:
PRC project AGAPE (An Auction Language for General Auction Players), Agence Nationale de la Recherche, France.
- 2017-20:
JCJC project SVeDaS (Specification and Verification of Data-aware Systems), Agence Nationale de la Recherche, France.
- 2018-19:
Collaborative Projet Biatlon (BIsimulations pour la logique temporelle alternante ATL avec applications en vote électrONique), Réseau Francilien de Sciences Informatiques, France.
- 2017-18:
Collaborative Projet MALEVéPS (Modèles multi-Agents et Logiques
Epistémiques pour la Vérification des Propriétés de Sécurité), Réseau Francilien de Sciences Informatiques, France.
- 2017-18:
Collaborative Project ALESSO (ATL avec Ressources), Université Paris Saclay, France.
- 2016-17:
Délegation au CNRS – Institut de Recherche en Informatique de Toulouse (IRIT), Centre National de la Recherche Scientifique, France.
- 2015-18:
PEDR (Prime d’Encadrement Doctoral et de Recherche), Ministère de l'Education Nationale and Conseil National des Universités, France,
- 2015-16:
CRCT Grant (Congés de Recherche et Conversion Thématique), Université d'Evry, France.
- 2014-15:
FRR Grant (Fonds pour le Rayonnement de la Recherche),
Université d'Evry, France.
- 2013:
FDIR Grant (Fonds de Développement pour l'Internationalisation de la
Recherche), Université d'Evry, France.
- 2009-11:
IEF Marie Curie Fellowship, FoMMAS Project: First-order Modal
Logics for the Specification and Verification of
Multi-Agent Systems, Framework Programme 7, European
Commission.
- 2007-09:
Project Logica Modale e Conoscenza, Scuola Normale Superiore, Italy.
- 2007-09:
Joint Project grant between Imperial College London and Scuola Normale Superiore, Royal Society, UK.
- 2002-2005:
Scuola Normale Superiore, PhD scholarship.
- 1997-2001:
Scuola Normale Superiore, undergraduate scholarship.
|