Fabio Gadducci

Papers

Total Citations

H-Index

About

Fabio Gadducci is a leading researcher in the foundations of computation, with a primary focus on formal methods, rewriting logic, and the modelling of complex adaptive systems. His most influential work centres on the use of the Maude system to capture and analyze the dynamics of self-assembly—a process by which simple components autonomously organize into complex structures. Gadducci’s key contribution lies in developing formal frameworks that not only model these emergent behaviours but also enable rigorous verification of their properties, bridging the gap between theoretical computer science and bio-inspired engineering. His two most-cited papers, both from 2012 and 2013, have collectively garnered over 50 citations, establishing a foundational methodology for studying adaptive self-assembly strategies. Beyond this, Gadducci has made significant strides in graph rewriting and algebraic approaches to concurrency, contributing to the broader theory of computational models. His work is notable for its interdisciplinary reach, influencing fields from nanotechnology to software engineering, and he continues to shape the landscape of formal methods for dynamic, self-organizing systems.