Max Robotics — Global Service Robot Directory + US Certification

About

Stefano Spellini is a leading researcher at the intersection of formal methods and intelligent manufacturing, whose work is shaping the transition from Industry 4.0 to Industry 5.0. His research focuses on three key areas: formal verification of cyber-physical systems, compositional design of multi-robot software, and digital twin generation for production validation. Spellini’s most impactful contribution is his pioneering work on modeling in Industry 5.0, which has garnered 17 citations and critically analyzes the gaps between current technological capabilities and the human-centric, sustainable vision of next-generation manufacturing. He has advanced the use of Assume-Guarantee Contracts to decompose complex control software synthesis problems for multi-robot systems, enabling scalable verification that traditional hardware and software methods cannot achieve. His work on production recipe validation through formalization and digital twin generation (5 citations) offers manufacturers a powerful tool for early error detection, reducing costly production mistakes. Spellini’s research provides a rigorous, contract-based framework that bridges the gap between high-level system specifications and reliable, verifiable robotic applications, making him a key figure in the formal foundations of modern industrial automation.