Research Projects

Current

  • Autonomic Service-Component Ensembles (ASCENS), funded by the European Union.
  • A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (QUANTICOL), funded by European Union.
  • CINA: Compositionality, Interaction, Negotiation, Autonomicity (CINA), funded by MIUR, Programma di Ricerca di Interesse Nazionale

Past

  • Performability-Aware Computing: Logiche, Modelli e Linguaggi ( PaCo) funded by 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 programme as part of the Global Computing Initiative.
  • 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), funded by Microsoft Research
  • Models, Calculi and Languages for Network Aware Programming (NAPOLI), funded by 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, Progetto Giovani Ricercatori, funded by Università degli Studi di Firenze
  • Sistemi di assegnazione di tipo per analisi e verifica di programmi, funded by Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni (CNR)
  • Software Architectures and Languages to coordinate Distributed Mobile Components (SALADIN), funded by MURST, Programma di Ricerca di Interesse Nazionale
  • Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA), funded by MURST, Programma di Ricerca di Interesse Nazionale