Max Robotics — Global Service Robot Directory + US Certification

About

Ankush Desai is a researcher specializing in formal methods, safe robotics, and cyber-physical systems programming, with a particular focus on bridging the gap between rigorous verification techniques and real-world autonomous systems. His work addresses one of the most pressing challenges in modern robotics: ensuring correctness and safety in systems that increasingly rely on complex machine-learning components and third-party off-the-shelf software. Desai's most influential contributions include the DRONA framework (73 citations), which introduced formal guarantees for distributed mobile robotics, and his foundational work combining model checking with runtime verification for safe robotics (75 citations), establishing a powerful hybrid approach to system assurance. His SOTER programming framework further advanced the field by integrating runtime assurance directly into the robotics development workflow, making safety certification practical even when design-time verification is insufficient. His more recent ULGEN framework extends these ideas to broader cyber-physical systems through a generalized runtime assurance architecture. Across his portfolio, Desai consistently champions modular, formally grounded programming models — exemplified by his work on the P language for safe asynchronous programming. His cumulative impact, with nearly 200 citations, reflects a growing recognition among robotics and systems researchers of the critical importance of verified, assurance-driven software design.