Projects and others scientific cooperations

MUR PRIN 2020 project COMMunity-OrieNted WEARrable Computing Systems (COMMON-WEARS)
COMPETENCE INDUSTRY MANUFACTURING 4.0, CIM 4.0
PNRR NODES Spoke 1 Sustainable mobility and aerospace (2022-10-01 -2025-09-30)

(Some) concluded
- International:
  - EC-COST Action CA15123 (2016/02/21 - 2020/03/20) EUTypes: The European research network on types for programming and verification (see also the page at the COST site)
  - EC-COST Action IC1402 (2014/12/17 - 2018/12/18) ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site) [member of the Management Committee]
  - EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (2015/02/01 - 2018/02/01) [responsible for the University of Torino site] (see also the page at the CORDIS site).
    HyVar is part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud.
  - EC-COST Action IC1201 (2012/10/26 - 2016/10/25) BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site)
  - Member of the Scientific Advisory Board of the EC project HATS (Project No.: FP7-231620) (see also the page at the CORDIS site).
  - EC-COST Action IC0701 (2008/03 - 2012/03) FoVeOOS: Formal Verification of Object-Oriented Software [member of the Management Committee]
  - Language constructs and type systems for object oriented program components (German-Italian University Centre, Vigoni program, 2009/01 - 2011/05) [responsible for the Italian site]
  - EC project TYPES (EU coordination action 510996, 2004-2008)
  - EC project DART (Project No.: IST-2001-33477, 2002/01/01-2005-06-30)
  - EC project Computer-Assisted Reasoning Based on Type Theory (IST working group 29001, 2000-2003)
- National:
  - MIUR PRIN 2010/2011 CINA (Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society) (2013 - 2016)
  - MIUR PRIN 2008 DISCO - Distribution, Interaction, Composition, Specification for Object Systems (2010/03 - 2012/09) [vice-responsible for the University of Torino site]
  - MIUR PRIN EOS DUE (2007/02 - 2009/02)
  - MIUR PRIN EOS (2004/11 - 2006/11)
  - Cofin'01 NAPOLI (Network Aware Programming: Objects, Languages, Implementations
  - Cofin'00 Constructive Methods in Topology, Algebra, and Program Analysis
  - Cofin'00 Abstract interpretation, type systems, and control-flow analysis
  - Cofin'99 TOSCA (Theory of Concurrency, Higher Order, and Types)
- Regional:
  - Ateneo/CSP "Bando ex post 2020" project NewEdge: New Design and Development Approach for Dependable Intelligent Edge Systems (2021/12/31 - 2023/12/31)
  - Ateneo/CSP "Bando ex post 2018" project on Aggregate Programming (2019/03/01 - 2021/08/31)
  - HPC4AI (Regione Piemonte, INFRA_P): Turin’s centre in High-Performance Computing for Artificial Intelligence (2018-04-01, 24 months)
  - Ateneo/CSP Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability (2015/07/01 - 2017/12/31) [responsible]
  - POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains (Regione Piemonte, 2013/01 - 2015/09) [responsible for the University of Torino site]
  - Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types
  - BioBits: developing white and green technologies by converging platforms from biology and information technology towards metagenomics (Regione Piemonte, 2009-2012)