Max Robotics — Global Service Robot Directory + US Certification

About

Lukas Dust is a leading researcher at the intersection of formal verification, model-based engineering, and the Robot Operating System 2 (ROS 2). His work focuses on ensuring the reliability and predictability of multi-agent robotic systems, particularly those operating in dynamic environments alongside humans, such as in production assistance. Dust’s major contributions include pioneering pattern-based and automated verification techniques for ROS 2 nodes using tools like UPPAAL, enabling developers to formally verify system behavior without manual model creation. His experimental evaluations of callback behavior in ROS 2 executors have provided critical insights into execution time predictability, directly impacting real-time system design. With his most-cited paper (2023) garnering 9 citations and several others receiving 7 each, Dust’s research is gaining traction in the robotics community. His 2024 work on a model-based methodology, leveraging execution traces and model-driven engineering, represents a significant step toward simplifying formal verification for complex ROS 2 applications. By bridging the gap between theoretical verification and practical robotic deployment, Dust is shaping safer, more dependable autonomous systems.