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
Mastodon

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
- Aggregate computing, distributed systems, self-organisation, collective intelligence and swarm intelligence,
- Digital twins,
- (Far)Edge-Cloud continuum,
- Internet of Things and Cyber-Physical Systems,
- Self-adaptive systems,
- Swarm robotics,
- System evolution and dynamic software updates,
- Variability modeling and (multi) software product lines,
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
- Collektive (A Kotlin library for aggregate programming)
- FCPP (A C++ library for aggregate programming)
- Protelis -- maintained, but feature-frozen (An aggregate programming language 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 library for aggregate programming)
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: Doctoral Symphosium Track @ SPLC 2025 (pc member), APM 2025 (sc member), IoWT @ IEEE World Forum on Internet of Things 2025 (tpc member), NIER track @ ASE 2025 (pc member), iFM 2025 (sc member, pc co-chair), ETAPS 2026 (sc member, general co-chair), FSE 2026 Industry Track (pc member)
(Some) past

NEWS

2025/07/18: Closing event of the RoboAPP project at the Torino Airport. See video, article on MIT Technology Review Italia (IN ITALIAN) and a photo.
2025/05/29: Teoresi Students Indigo Challenge (IN ITALIAN) -- see also the article on the University of Torino OTTO online magazine (IN ITALIAN) and a photo.
2025/02/17: Our CHEDIH sevice on Validation of Collaborative Robotics Solutions for Precision Agriculture (IN ITALIAN) is available.
2024/04/02: We have a new project: Robotic Aggregate Programming Platform (RoboAPP) [duration: 14 months] (see also RoboAPP @ AI4FUTURE)
2023/12/15: We have a new project: Robotics of New Generation by cooperative fleet (RoboNG) [duration: 14 months]
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).

(Some) older news

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)