Max Robotics — Global Service Robot Directory + US Certification

About

Miguel Campusano is a leading researcher in the intersection of software engineering and robotics, with a primary focus on live programming, behavior-based robotics, and formal verification. His foundational work on Live Robot Programming (LRP) introduced a paradigm-shifting approach that eliminates the traditional edit-compile-simulate-deploy-run cycle, allowing developers to modify robot behaviors in real-time and see immediate results—a contribution that has earned his 2016 paper 19 citations and established him as a pioneer in the field. Campusano’s controlled experiment on state machines for robotic behaviors (2018, 12 citations) provided empirical evidence for the effectiveness of live programming practices. He has also advanced safety-critical robotics through innovative fuzz testing methodologies (2021, 7 citations) and formal verification approaches for SMACH-based systems (2023). His development of VizRob and other visualization tools addresses the critical challenge of debugging robotic behaviors, transforming text-and-log-oriented debugging into intuitive visual representations. Through his work with PhaROS and ROS integration, Campusano has bridged the gap between formal methods and practical robotics, making his research essential for anyone developing safe, efficient, and debuggable robotic systems.