Research Projects

Compositionality, Interaction, Negotiation, Autonomicity (CINA)
Co-founded by MIUR as part of the PRIN 2010-2011. Scientific coordinator: Rocco De Nicola.
Autonomic Service-Components Ensembles (ASCENS)
Integrated Project funded by the EU within the 7th Framework Programme as part of the IST-FET initiative on Self-Awareness in Autonomic Systems (2010-2015). Scientific coordinator: Martin Wirsing.
Distribution, Interaction, Specification, Composition for Object Systems (DISCO)
Co-founded by MIUR as part of the PRIN 2008. Scientific coordinator: Elena Zucca.
Software Engineering for Service-Oriented Overlay Computers (SENSORIA)
Integrated Project funded by the EU within the 6th Framework Programme as part of the IST-FET initiative on Global Computing (2005-2010). Scientific coordinator: Martin Wirsing.
Mobile Calculi based on Domains (MIKADO)
RTD project funded by EU within the IST-FET initiative on Global Computing (2001-2005). Scientific coordinator: Jean-Bernard Stefani.
Architetture Software ad Alta Qualità del Servizio per Global Computing su Cooperative Wide Area Networks
SOTTOPROGETTO 4 of “Strumenti, Ambienti e Applicazioni Innovative per la Società dell'Informazione”, co-founded by CNR/MIUR 5% (2002-2004). Scientific coordinator: Ugo Montanari.
Architectures for Mobility (AGILE)
RTD project funded by EU within the IST-FET initiative on Global Computing (2001-2005). Scientific coordinator: Martin Wirsing.
Network Aware Programming: Objects, Languages, Implementations (NAPOLI)
Co-founded by MIUR as part of the PRIN 2001. Scientific coordinator: Rocco De Nicola.
Network Aware Programming and Interoperability (NAPI)
Funded by Microsoft Research (2001-2002)
Software Architectures and Languages to coordinate Distributed Mobile Components (SALADIN)
Co-founded by MIUR as part of the PRIN 1999. Scientific coordinator: Paola Inverardi.
Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA)
Co-founded by MIUR as part of the PRIN 1999. Scientific coordinator: Ugo Montanari.
Cooperation Network on Expressiveness of languages for Concurrency (EXPRESS)
HCM project funded by EU (1994-1997). Scientific coordinator: Jan Willem Klop.

Back to my homepage