Research on "Formal Methods in Computing"

Projects and others scientific cooperations

• EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (2015-02-01 -- 2018-01-31) [responsible for the University of Torino 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]
• MIUR PRIN 2010-2011 CINA (Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society)
• POR FESR 2007/2013 "Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili (PIE_VERDE)", (Regione Piemonte, 01/2013 - 09/2015) [responsible for the University of Torino site]
• Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types.
• EC-COST Action IC1201 (2012-2016) BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site).

• (Some) concluded
  • International:
    • Member of the Scientific Advisory Board of the EC project HATS (Project No.: FP7-231620)
    • EC-COST Action IC0701 (03/2008 - 03/2012) 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, 01/2009 - 05/2011) [responsible for the Italian site]
    • EC project TYPES (EU coordination action 510996, 2004-2008)
    • EC project DART (Project No.: IST-2001-33477, start: 01/01/2002, duration: 36 months)
    • EC project Computer-Assisted Reasoning Based on Type Theory (IST working group 29001, 2000-2003)
  • National:
    • MIUR PRIN 2008 DISCO - Distribution, Interaction, Composition, Specification for Object Systems (03/2010 - 09/2012) [vice-responsible for the University of Torino site]
    • MIUR PRIN EOS DUE (02/2007 - 02/2009)
    • MIUR PRIN EOS (11/2004 - 11/2006)
    • 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:
    • BioBits: developing white and green technologies by converging platforms from biology and information technology towards metagenomics (Regione Piemonte, 2009-2012)