Max Robotics — Global Service Robot Directory + US Certification

About

Sayan Mitra is a researcher whose work sits at the dynamic intersection of distributed systems, cyber-physical systems, and autonomous robotics. His research spans formal verification, safe autonomous systems, and multi-robot coordination, with a particular focus on developing rigorous methods to ensure safety and reliability in complex, real-world environments. Among his most influential contributions is his foundational work on self-stabilizing robot formations over unreliable networks, demonstrating how mobile robots can autonomously arrange themselves even amid network disruptions — a problem of significant practical importance. His 2012 work on static and dynamic analysis of distributed traces advanced the field of runtime monitoring for cyber-physical systems, providing algorithms capable of checking global system behavior from imprecise, timestamped observations. More recently, Mitra has tackled the safety challenges of autonomous vehicles operating near pedestrians, garnering over 21 citations, and introduced the innovative concept of perception contracts to formally reason about the safety of machine learning-enabled control systems. His Koord programming language project represents a meaningful step toward accessible, verifiable distributed robotics programming. Collectively, Mitra's work has earned over 100 citations across these areas, reflecting his sustained impact on the rigorous design and verification of intelligent autonomous systems.