Marco Bozzano

Papers

Total Citations

H-Index

About

Marco Bozzano is a leading researcher in formal verification, model checking, and safety-critical systems, with a particular focus on aerospace and autonomous robotics. His work bridges the gap between theoretical computer science and practical engineering, developing tools and methodologies to ensure the reliability of complex, high-stakes systems. Bozzano is best known for his contributions to the nuXmv model checker and the xSAP safety analysis platform, which are widely used for automated fault detection and system validation. His research has had a profound impact, with his most-cited papers collectively amassing over 1,500 citations, reflecting their foundational role in the field. Notably, his recent work "RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets" (2023) exemplifies his forward-looking approach, integrating artificial intelligence with digital twin technology to monitor and predict the behavior of space exploration robots. This work underscores his commitment to advancing autonomous systems in extreme environments. Bozzano’s achievements include leading European research projects and contributing to the development of verification tools adopted by industry giants like NASA and ESA. For students and researchers, his work offers a masterclass in applying formal methods to real-world challenges, making safety and reliability a cornerstone of innovation.