Projects and Funding


  • QUANTICOL: European FP7 STREP Project on Quantitative Approach to Management and Design of Collective and Adaptive BehavioursQuanticol-wp.jpg
  • DAPS2 (German Research Foundation) Design For Future – Managed Software Evolution
  • COST Action IC1201: BETTY Behavioural Types for Reliable Large-Scale Software Systemsbetty-logo-v7-120
  • COST Action IC1405: Reversible computation – extending horizons of computing


  • ASCENS: European FP7 Integrated Project on Autonomic Service Component Ensemblesascens_logo_new
  • CINA: (MIUR PRIN) Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society
  • Calcolo Età Vascolare (Project funded by the Fondazione Cassa Di Risparmio Di Pisa)
  • WiLIFE: Project funded by the Tuscany Region on Wireless Technologies and ICT for an integrated, efficient system to prevent and manage crisis and emergency situations