Research Projects and Grants
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.