Max Robotics — Global Service Robot Directory + US Certification

About

Matthias Tichy is a leading researcher in software engineering for robotics, with a focus on making robot programming more accessible, reliable, and efficient. His work bridges the gap between formal software architecture and practical robotic systems, particularly within the Robot Operating System (ROS) ecosystem. Tichy’s major contributions include developing tools for debugging quadrocopter trajectories in mixed reality, which allows developers to visualize and correct flight paths in a safe, virtual environment—a technique that has garnered 14 citations for its innovative approach. He also pioneered methods for checking the consistency of robot software architectures in ROS, ensuring that component configurations and connectors are error-free, a critical step for complex autonomous systems. His hybrid editor for fast robot mission prototyping, which combines live previews with direct manipulation, has been recognized for accelerating development cycles. Additionally, Tichy has advanced the specification of structurally dynamic reactive systems by integrating graph transformations with modal sequence diagrams, offering a formal framework for modeling evolving system behaviors. With a growing citation impact, Tichy’s work is shaping the future of robotics software engineering, making him a key figure for students and researchers interested in the intersection of software architecture, human-robot interaction, and formal methods.