Max Robotics — Global Service Robot Directory + US Certification

About

Keliang He is a leading researcher at the intersection of robotics, formal methods, and artificial intelligence, specializing in automated planning and synthesis for complex manipulation tasks. His work addresses the fundamental challenge of enabling robots to reason about high-level task specifications while operating in dynamic, human-inhabited environments. He’s best known for pioneering frameworks that bridge temporal logic specifications with manipulation planning, as demonstrated in his highly cited 2015 paper (94 citations), which introduced a computationally tractable approach to a notoriously difficult problem. He has made seminal contributions to reactive synthesis under resource constraints and finite-horizon tasks, developing efficient symbolic methods that allow robots to generate real-time strategies based on observed human behavior. His 2019 work on efficient symbolic reactive synthesis (40 citations) and his 2017 paper on reactive synthesis under resource constraints (38 citations) are foundational in this area. He has also advanced motion planning algorithms, including work on multigrid CHOMP with local smoothing. With over 200 total citations, He’s work is essential reading for anyone interested in task-level robot autonomy, human-robot collaboration, and formal synthesis for robotics.