Ferruccio DAMIANI

Associate professor, PhD
Coordinator of the MoVeRe research group
Dipartimento di Informatica - Università degli Studi di Torino
Corso Svizzera 185, 10149 Torino, Italy
Visiting address: Via Pessinetto 12, 10149 Torino, Italy icona mappa
Phone: +39 011 6706719   Fax: +39 011 751603   icona twitter

foto profilo docente

Are you interested in studying, doing research or teaching in Torino?


icona events EVENTS

icona events NEWS
We have a new project: HPC4IA (Regione Piemonte, INFRA_P): Turin’s centre in High-Performance Computing for Artificial Intelligence (24 months).
Our paper Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed was selected as Best Paper of COORDINATION 2017 (photo).
Our paper A Formal Model of Multi SPLs got the Best Paper Award at FSEN 2017 (photo).
Our paper Self-Adaptation to Device Distribution Changes got the SASO 2016 Best Paper Award.
We have a new project: 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).
We have a new project: I am responsible for the Ateneo/CSP Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability (2015/07/01 - 2017/12/31).
HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud.
We have a new project: I am local responsible for the EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (2015/02/01 - 2018/01/31). See also the page at the CORDIS site.
We have a new project: I am MC Member of EC-COST Action IC1402 (2014/12/17 - 2018/12/16) ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site).
Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award.
We have a new project: I am local responsible for the POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains (2013 - 2015).
We have a new project: Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types.
We have a new project: MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (2013 - 2016).
Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award.
We have a new project: EC-COST Action IC1201 (2012 - 2016) BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site).


  • ACM (Association for Computing Machinery)
  • EAPLS (European Association for Programming Languages and Systems)
  • EATCS (European Association for Theoretical Computer Science)
  • ETAPS (European Joint Conferences on Theory and Practice of Software)
  • FME (Formal Methods Europe)
  • FSF (Free Software Foundation)
  • ADI (ITALIAN ONLY - Associazione Dottorandi e dottori di ricerca Italiani)
  • ALSI (ITALIAN ONLY - Associazione nazionale Laureati in Scienze dell'informazione ed Informatica)
  • GRIN (ITALIAN ONLY - Associazione Italiana dei Docenti Universitari di Informatica)
  • MIUR (ITALIAN ONLY - Ministero dell'Istruzione, dell'Universita' e della Ricerca - si veda il breve Video sulle geniali politiche MIUR proiettato nel corso della cerimonia di inaugurazione dell'anno accademico 2013-2014 dell'Universita' di Torino)

[ Restricted area ]