Ferruccio Damiani

About

Ferruccio Damiani is a prominent computer science researcher whose work sits at the intersection of programming language theory, distributed systems, and collective adaptive computing. He is best known for his foundational contributions to the field of *computational fields* — a paradigm for reasoning about large-scale, situated, and self-organizing distributed systems. His seminal papers, "A Calculus of Computational Fields" (2013) and "A Calculus of Self-stabilising Computational Fields" (2014), together accumulating over 70 citations, established rigorous formal frameworks for modeling how computation propagates and stabilizes across dynamic networks of devices. Damiani's research extends into type-theoretic guarantees for distributed systems, demonstrating through type-sound and self-stabilizing calculi that predictable collective behavior can be formally ensured even in complex, evolving environments. His more recent work broadens these foundations into practical domains, including robot swarm coordination, mobile multi-agent sensing, and the design of the eXchange Calculus (XC), a functional language tailored for distributed collective systems. He has also explored self-adaptive systems through the lens of software product lines, bridging formal methods with autonomous system engineering. Across his career, Damiani has consistently advanced the theoretical underpinnings that make large-scale, resilient, and adaptive distributed computing both analyzable and trustworthy.

Research Focus

Key Achievements

Top Papers

1. 1
   A Calculus of Self-stabilising Computational Fields

   37 citations · 2014
2. 2
   A Calculus of Computational Fields

   33 citations · 2013
3. 3
   A type-sound calculus of computational fields

   30 citations · 2015
4. 4
   Type-based Self-stabilisation for Computational Fields

   23 citations · 2015
5. 5
   The eXchange Calculus (XC): A functional programming language design for distributed collective systems

   19 citations · 2024
6. 6
   A field-based computing approach to sensing-driven clustering in robot swarms

   14 citations · 2022
7. 7
   Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems

   12 citations · 2019
8. 8
   Formal Modelling and Analysis of a Self-Adaptive Robotic System

   6 citations · 2023
9. 9
   Analysing Self-Adaptive Systems as Software Product Lines

   5 citations · 2024
10. 10
    Resilient Distributed Collection Through Information Speed Thresholds

    5 citations · 2020

Key Collaborators

Contact & Links