Max Robotics — Global Service Robot Directory + US Certification

About

Insup Lee is a prominent computer scientist whose research spans real-time systems, cyber-physical systems (CPS), hybrid systems modeling, and multi-robot coordination. Over three decades, he has made foundational contributions to the design, analysis, and verification of safety-critical embedded and autonomous systems. Lee's early work on real-time concurrency, captured in "RTC: Language Support for Real-Time Concurrency" (1993), established frameworks for reasoning about concurrent systems under timing constraints. His landmark contributions to multi-robot coordination — most notably his 2002 framework for deploying autonomous robots in unstructured environments (159 citations) — demonstrated how formal modeling could enable practical cooperation in search-and-rescue and reconnaissance missions. This work was further formalized through hybrid systems modeling using languages such as Charon and R-Charon, bridging mathematical rigor with deployable embedded software through automatic code generation. In more recent years, Lee has addressed the growing threat landscape facing autonomous systems, developing attack-resilient sensor fusion and state estimation methodologies for robots and CPS operating under malicious interference. His 2016 work on attack-resilient CPS (68 citations) reflects his sustained commitment to safety and security. Collectively, his publications demonstrate deep, enduring influence across robotics, formal methods, and secure embedded systems engineering.