Max Robotics — Global Service Robot Directory + US Certification

About

Tichakorn Wongpiromsarn is a leading researcher in formal methods for robotics, specializing in the synthesis of correct-by-construction control policies for autonomous systems operating in complex, dynamic environments. Her major contributions lie at the intersection of temporal logic, reactive synthesis, and robot control, where she has pioneered techniques for generating high-level robot behaviors that are both provably correct and responsive to changing surroundings. Her most influential work, "Correct, Reactive, High-Level Robot Control" (2011), with 122 citations, provides a foundational framework for using temporal logic synthesis to create reactive controllers, demonstrated through the DARPA Urban Challenge (DUC) mission. She has further advanced the field by developing incremental synthesis methods for probabilistic environments, as seen in her 2014 paper (31 citations), which enables robots to optimally interact with uncontrollable agents while satisfying complex mission specifications. Her research has practical implications for autonomous driving, as evidenced by her work on situational reasoning for urban navigation. Additionally, Wongpiromsarn has contributed to the development of medical robotics in Thailand, authoring a technology roadmap that outlines strategic priorities for integrating robotic systems into healthcare. Her work bridges theoretical rigor with real-world deployment, making her a key figure in the formal verification of autonomous systems.