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 funded by the French Research Agency

    A PhD position is available on this project. For further information, please refer to the project description.

    An MSc project related to SVeDaS is also available. Here is the project description.
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 funded 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 sustain 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.