• A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (QUANTICOL). Funded by European Union in FOCAS Initiative.

  • CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura, Programma di Ricerca di Interesse Nazionale, Funded by MIUR.

  • Autonomic Service-Component Ensembles (ASCENS), Funded by the European Union as an Integrated Project (IP) in 7th Framework Programme (FP7) and part of Future Emerging Technologies initiative (Contract 257414)

  • Performability-Aware Computing: Logiche, Modelli e Linguaggi (PaCo), MIUR Programma di Ricerca di Interesse Nazionale.

  • Software Engineering for Service-Oriented Overlay Computers (SENSORIA), Funded by the European Union as an Integrated Project in the 6th framework program as part of the Global Computing Initiative (Contract IST-2005-16004).

  • Fondamenti Logici dei Sistemi Distribuiti e Codice Mobile, MIUR Programma di Ricerca di Interesse Nazionale.

  • Architectures for Mobility (AGILE) Funded by EU proactive initiative FET-Global Computing (Contract IST-2001-32747)

  • Mobile Calculi based on Domains (MIKADO) Funded by EU proactive initiative FET-Global Computing (Contract IST-2001-32222)

  • Network Aware Programming and Interoperability (NAPI), Microsoft Research

  • Models, Calculi and Languages for Network Aware Programming (NAPOLI), MURST programma di ricerca di interesse nazionale

  • Sistemi di assegnazione di tipo per analisi e verifica di programmi, (continuazione progetto 2000), Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni (CNR)

  • Strumenti formali ed automatici di supporto alla programmazione di codice mobile, Young Researcher Initiative, Università degli Studi di Firenze

  • Sistemi di assegnazione di tipo per analisi e verifica di programmi, Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni (CNR)

  • Software Architectures and Languages to coordinate Distributed Mobile Components (SALADIN), MURST programma di ricerca di interesse nazionale

  • Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA), MURST programma di ricerca di interesse nazionale