Carlo Ghezzi
Papers
7
Total Citations
66
H-Index
3
About
Carlo Ghezzi is a leading figure in software engineering, whose research has profoundly shaped the development of dependable, long-running systems. His work centers on the formal specification, verification, and dynamic adaptation of complex software, particularly for cyber-physical systems (CPS) and robotics. A key contribution is his pioneering work on mission specification patterns for mobile robots, providing formal, reusable templates to describe robotic goals—a critical asset for synthesizing and verifying dependable control software. He has also advanced the early validation of cyber-physical space systems, developing methods to integrate multiple design concerns (e.g., location, movement) at the earliest stages of development. His research on dynamically updating finite-state controllers addresses the critical need for uninterrupted service in systems whose requirements or environments change at run-time. With papers cited over 60 times, including foundational work on property specification patterns for robotic missions and multi-concern integration for CPS, Ghezzi’s influence is evident in both academic research and practical engineering. His recent work on spatial macroprogramming for robot swarms further demonstrates his commitment to pushing the boundaries of how we program and trust autonomous, spatially-aware systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Property specification patterns for robotic missions23 citations · 2018
- 3Formal Methods in Designing Critical Cyber-Physical Systems8 citations · 2019
- 4
- 5
- 6Towards spatial macroprogramming for sensing and actuating robot swarms2 citations · 2013
- 7Specification Patterns for Robotic Missions2 citations · 2019