Max Robotics — Global Service Robot Directory + US Certification

About

Silvano Dal Zilio is a leading researcher at the intersection of formal methods, real-time systems, and autonomous robotics. His work focuses on bridging the gap between theoretical verification and practical deployment, ensuring that robotic software is both correct and schedulable under hard real-time constraints. Dal Zilio’s major contributions include pioneering model-checking techniques for verifying real-time properties on the functional layer of autonomous robots, as demonstrated in his highly cited 2016 paper (31 citations). He has advanced formal verification for resource-constrained platforms, addressing the critical challenge of ensuring that robotic systems perform as specified in everyday environments. His 2018 work (27 citations) highlights the centrality of software in robotic development and the necessity of schedulability analysis. Dal Zilio also developed the "Hippo" execution engine (2021) for controlling and verifying critical real-time systems, and a formal toolchain for offline and run-time verification (2022). His research has profound implications for safety-critical applications, from autonomous vehicles to industrial robotics, making him a key figure in dependable autonomous systems.