PNRR
NODES – Spoke 1 & Spoke 6
[2022-10-01 – 2025-09-31]
CN AGRITECH (National Center for Technology in Agriculture)
[2022-10-01 – 2025-09-31]
CN ICSC (National Centre for HPC, Big Data and Quantum Computing)
[2022-10-01 – 2025-09-31]
PRIN 2020
COMMunity-OrieNted WEARrable Computing Systems (COMMON-WEARS)
[2022-06-01 – 2025-05-31]
PRIN 2020
Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems (T-LADIES)
[2022-04-01 – 2025-05-31]
Ateneo/CSP project
NewEdge: New Design and Development Approach for Dependable Intelligent Edge Systems
[2021-12-31 – 2024-09-30]
Regione Piemonte, INFRA_P
HPC4IA : Turin’s centre in High-Performance Computing for Artificial Intelligence
[2018-04-01 – 2020-03-31]
EC-COST Action CA15123
EUTypes: The European research network on types for programming and verification
(see also the page at the COST site)
[2016/02/21 – 2020/03/20]
EC-H2020 RIA project
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems
[2015/02/01 – 2018/01/31]
Ateneo/CSP project
RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability
[2015/07/01 – 2017/06/30]
EC-COST Action IC1201
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
(see also thepage at the COST site)
[2012 – 2016]
MIUR PRIN 2010/2011 project
CINA (Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society)
[2013 – 2016]
Regione Piemonte POR FESR 2007/2013 project
Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili (PIE_VERDE)
[2013/01/01 – 2015/09/30]
MIUR PRIN 2008 project
DISCO – Distribution, Interaction, Composition, Specification for Object Systems
[2010/03 – 2012/09]
German-Italian University Centre Vigoni Program 2008-2009 project
Language constructs and type systems for object oriented program components
[2009/01 – 2011/05]