Research Fellowships and Grants
2017-20
  • ANR Jeunes Chercheuses/Jeunes Chercheurs Fellowship
    SVeDaS Project: Specification and Verification of Data-aware Systems
    Research project over 3 years supported by the French Agence Nationale de la Recherche
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.
2007-09
  • Project Logica Modale e Conoscenza, Scuola Normale Superiore
    Research project on modal logics, their theoretical foundations, and applications to Artficial Intelligence.
2007-09
  • Joint Project grant, Royal Society
    This grants provided two year support to cover costs of the collaboration between Imperial College London and Scuola Normale Superiore, Pisa.
09-12/2006
  • Short Visit grant, Royal Society
    Visiting researcher at the Department of Computing, Imperial College London
05-09/2006
  • Scuola Normale Superiore grant n. 7.1/06
    Short research project on the theoretical aspects of first-order modal logic.
2002-2005
  • Scuola Normale Superiore, PhD scholarship
    Awarded the prestigious SNS scholarship to complete the PhD programme. This scholarship covers tuition fees and accommodation, and includes a monthly stipend. Selected students earn the Diploma di Perfezionamento, equivalent to a PhD, at the end of their course.
1997-2002
  • Scuola Normale Superiore, undergraduate scholarship
    Awarded the highly selective SNS scholarship by the Italian government. This scholarship covers tuition fees and accommodation, and includes a monthly stipend. Selected students must maintain an average of 27/30, and earn two degrees at the end of their course.