Ferruccio DAMIANI

Full professor, PhD
Coordinator of the MoVeRe research group
Affiliation:
Department of Computer Science - University of Turin
[Dipartimento di Informatica - Università degli Studi di Torino]
Corso Svizzera 185, 10149 Torino, Italy
Visiting address: Via Pessinetto 12, 10149 Torino, Italy
Email:
Phone: +39 011 6706719 Fax: +39 011 751603

From 2021 to 2023 adjunct professor at Software Engineering research group - Department of Computer science, Electrical engineering and Mathematical sciences - Western Norway University of Applied Sciences (HLV), Bergen, Norway
Founder and (till Jan 2022) coordinator of the node at the University of Turin of the Embedded Systems & Smart Manufacturing national laboratory of the National Interuniversity Consortium for Informatics (CINI).

Are you interested in studying or doing research in Turin? Feel free to contact me (WE ARE HIRING) -- also have a look at:

RESEARCH

Interests
My overall research goal is to contribute to an effective seamless integration of Formal Methods into software and system development methodologies. Currently, my research activity mainly focuses on developing Rigorous Approaches to Software (and System) Engineering and Domain Specific Languages for
- Variability modeling and (multi) software product lines,
- Distributed systems, self-organisaton, collective intelligence and swarm intelligence,
- System evolution and dynamic software updates,
- Internet of Things and Cyber-Physical Systems,
- Robotics,
- Edge-Fog-Cloud Continuum,
and on their validation in Industry X.0, Smart-cites, Precision agriculture, and Scientific computing scenarios.
Publications
- IRIS (the Open Access Institutional Repository of the University of Turin)
- ACM Digital Library (see also my freely downloadable ACM publications)
- DBLP
- Google Scholar
- IEEE Xplore Digital Library
- ORCID (ORCID ID: 0000-0001-8109-1706)
- Scopus (Scopus Author Identifier: 8072103800)
- Springer
- Semantic Scholar
- Springer
- WoS (WoS ResearcherID: D-2383-2011)
- Others: Aminer, ResearchGate
Software
I contribute to the design and development of the following tools (roughly grouped by topic).
Executable Software Models, Delta-oriented Programming, Software Configuration
- ABS modeling language (ABS is a language for Abstract Behavioral Specification, which combines implementation-level specifications with verifiability, high-level design with executablity, and formal semantics with practical usability)
- DeltaFineFit (A model-based testing approach for delta-oriented software product lines)
- DeltaJava (Delta-oriented programming of software product lines of Java programs -- supersedes DeltaJ) -- see also the Imperative Featherweight Delta Java tool chain
- DeltaStatecharts (Delta-oriented programming of software product lines of YAKINDU Statecharts)
- FTS4VMC (A tool to verify properties using family-based model checking taking as input featured transitions systems)
- PDEPA (A PMS-valid dependency analyser for Gentoo)
Aggregate Programming
- FCPP (A C++ library for aggregate programming based on computational fields)
- Protelis (An aggregate programming language based on computational fields and embedded in Java, providing an API for simulation and execution of aggregate programming applications -- see also the videos about simulation of execution of Protelis code by the Alchemist Simulator)
- ScaFi (A Scala-based aggregate-programming framework for aggregate computing providing an API for simulation and execution of aggregate programming applications)
Traits for the Java-platform
- Xtraitj (Pure trait-based programming on the Java platform -- supersedes TraitRecordJ and SWRTJ)
Systems Biology
- SCWC-bio-simulator
Moreover, I contributed to the design and development of other no longer supported) prototypes

(Some) services
- Member of the board of the European Association for Programming Languages and Systems (EAPLS)
- Member of the steering committee of the European joint conferences on theory and practice of software (ETAPS) conferences series
- Member of the steering committee of the Integrated Formal Methods (iFM) conference series
- Member of the steering committee of the IFIP WG6.1 International Conference on Coordination Models and Languages (COORDINATION) conference series

Journal paper peer reviews
- Verified on publons (since 2018)

EVENTS

Upcoming: APM Workshop 2024 (general organizer), ISoLA 2024 (paper at the Rigorous Engineering of Collective Adaptive Systems track, by invitation only), NIER track @ ASE 2024 (pc member), iFM 2024 (sc member), ETAPS 2026 (general co-chair)
(Some) past

NEWS

2022/09/16: Our SPLC 2010 paper Delta-Oriented Programming of Software Product Lines got the SPLC 2022 Most Influential Paper Award (photo).
2022/06/16: The paper Extensible 3D Simulation of Aggregated Systems with FCPP (by Giorgio Audrito, Luigi Rapetta and Gianluca Torta) got the COORDINATION 2022 Best Artifact Award
2022/06: We have a new project: PNRR NODES Spoke 1 Sustainable mobility and aerospace (2022-10-01 -2025-09-30).
2022/06: Our paper Functional programming for distributed systems with XC got the ECOOP 2022 Disinguished Artifact Award (photo).
2022/01/03: I got a Certificate of Appreciation for outstanding contributions to the development of: MPAI-AIF - Artificial Intelligence Framework Technical Specification V1.
2021/12/22: We have a new project: I am responsible for the Ateneo/CSP "Bando ex post 2020" project NewEdge: New Design and Development Approach for Dependable Intelligent Edge Systems (2021/12/31 - 2023/12/31).
2021/12/14: We have a new project: I am local responsible for the PRIN 2020 project COMMunity-OrieNted WEARrable Computing Systems (COMMON-WEARS) .
2021/02/12: Andrea Borgarelli has been selected for admission to the CS@max planck doctoral program.
2021: I am founding coordinator of the node at the University of Turin of the Embedded Systems & Smart Manufacturing national laboratory of the National Interuniversity Consortium for Informatics (CINI).
2019/09/12: Our paper Static Analysis of Featured Transition Systems got the SPLC 2019 Best Paper Award (photo).
2019/04/16: Giorgio Audrito has been selected to participate in the 7th Heidelberg Laureate Forum (September 22-27, 2019).
2018/12/20: We have a new project: I am responsible for the Ateneo/CSP "Bando ex post 2018" project on Aggregate Programming (2019/03/01 - 2021/02/28).
2018/12/05: Giorgio Audrito got the Ateneo/CSP grant ( "bando per l'internazionalizzazione della ricerca 2018" ) for Cooperation with the University of Iowa on Aggregate Programming (2019/04/01 - 2020/03/31).
2018/04: We have a new project: HPC4AI (Regione Piemonte, INFRA_P): Turin’s centre in High-Performance Computing for Artificial Intelligence (2018-04-01, 24 months).
2017/06/21: Our paper Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed was selected as Best Paper of COORDINATION 2017 (photo).
2017/04/28: Our paper A Formal Model of Multi SPLs got the Best Paper Award at FSEN 2017 (photo).
2016/09/14: Our paper Self-Adaptation to Device Distribution Changes got the SASO 2016 Best Paper Award.
2016/03: 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).
2015/07: We have a new project: I am responsible for the Ateneo/CSP "Bando 2014" Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability (2015/07/01 - 2017/12/31).
2015/07: HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud.
2015/02: 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.
2015/02: 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).
2014/06/04: Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award.
2013/01: 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).
2013/01: We have a new project: Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types.
2012/10: We have a new project: MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (2013 - 2016).
2012/09/26: Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award.
2012/06: 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).
2009/01: We have a new project: I am responsible for the Italian site of the Language constructs and type systems for object oriented program components project (2009-01/01 - 2011/05/31) funded by the German-Italian University Centre (Vigoni program 2008-2009).
2008/06: We have a new project: I am MC Member of EC-COST Action IC0701 (2008/03 - 2012/03) FoVeOOS: Formal Verification of Object-Oriented Software (see also the page at the COST site).

SOME ORGANIZATIONS

ACM (Association for Computing Machinery)
BDVA (Big Data Value Association)
EAPLS (European Association for Programming Languages and Systems)
EATCS (European Association for Theoretical Computer Science) and Italian Chapter of EATCS
ETAPS (European Joint Conferences on Theory and Practice of Software)
FME (Formal Methods Europe)
FSF (Free Software Foundation)
MPAI (Moving Picture, Audio and Data Coding by Artificial Intelligence)

ADI (ITALIAN ONLY - Associazione Dottorandi e dottori di ricerca Italiani)
GRIN (ITALIAN ONLY - Associazione Italiana dei Docenti Universitari di Informatica)