|
Ongoing Projects
2018-21
-
ANR PRC project AGAPE (An Auction Language for General Auction Players)
Collaborative project with IRIT Toulouse, LAMSADE Paris, LIG Grenoble, LIPADE Paris
Research project over 3 years supported by the French Agence Nationale de la Recherche
2017-20
-
ANR JCJC project SVeDaS (Specification and Verification of Data-aware Systems)
Research project over 3 years supported by the French Agence Nationale de la Recherche
2018-19
- Collaborative Projet Biatlon (BIsimulations pour la logique temporelle alternante ATL avec applications en vote électrONique)
Research grant by Réseau Francilien de Sciences Informatiques
(RFSI) for a collaborative project with R. Demangeon (Université
Pierre et Marie Curie), C. Dima and D. Varacca (Université Paris Est -
Créteil).
Past Projects [up to 2009]
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é)
Research grant by Réseau Francilien de Sciences Informatiques (RFSI) for a collaborative project with C. Dima (Université Paris Est - Créteil).
- Collaborative Project ALESSO (ATL avec Ressources)
Research grant by the Université Paris Saclay to foster collaboration between Laboratoire IBISC, UEVE and LSV, ENS Cachan.
2016-17
-
Délegation au CNRS – Institut de Recherche en Informatique de Toulouse (IRIT)
ISSMA Project: Interaction Stratégique dans les Systèmes Multi-Agents
Visit fellowship at IRIT supported by the Centre National de la Recherche.
2015-18
-
PEDR (Prime d’Encadrement Doctoral et de Recherche)
French Ministry of Education and Conseil National des Universités
Grant for past achievements in research and teaching
2015-16
-
CRCT Grant (Congés de Recherche et Conversion Thématique)
Sabbatical leave including
reduced teaching duties.
2015
-
FRR Grant (Fonds pour le Rayonnement de la Recherche),
Université d'Evry Collaboration projects with Prof W. van der
Hoek (Liverpool University), Dr D. Grossi (Liverpool University), and
Prof A. Lomuscio (Imperial College London).
2014
-
FRR Grant (Fonds pour le Rayonnement de la
Recherche), Université d'Evry
Small grant to support the collaboration with Prof A. Lomuscio (Imperial College London).
2013
-
FDIR Grant (Fonds de Développement pour l'Internationalisation de la
Recherche), Université d'Evry
Small grant to foster the collaboration with Dr D. Grossi (University of Liverpool) on a project on agent networks.
2009-11
-
IEF Marie Curie Fellowship, Framework Programme 7, European
Commission
FoMMAS Project: First-order Modal
Logics for the Specification and Verification of
Multi-Agent Systems.
|