Max Robotics — Global Service Robot Directory + US Certification

About

Luca Geretti is a computer scientist whose research sits at the intersection of formal verification, autonomous robotics, and cyber-physical systems safety. Over more than a decade, he has made sustained contributions to applying rigorous mathematical methods — particularly reachability analysis and model checking — to verify the correctness and safety of robotic control systems, with a distinctive focus on high-stakes medical and surgical environments. Geretti's most influential work explores how formal methods can guarantee safe behavior in robotic surgery, addressing the critical need to prevent patient harm from autonomous systems in operating rooms. His 2011 paper on robotic surgery (33 citations) established foundational arguments for this approach, while subsequent work on open verification problems (16 citations) and formal verification of medical cyber-physical systems (15 citations) deepened the field's theoretical and practical foundations. His research has also extended into industrial automation, examining parametric verification for robotic paint spraying and, more recently, human-robot interaction safety through pose estimation and collision prediction. His 2024 work on Industry 4.0 reflects a timely engagement with emerging safety and privacy challenges in smart manufacturing. Across these contributions, Geretti's scholarship has consistently championed formal, provably correct design methodologies as essential safeguards wherever autonomous robots operate alongside humans.