James Patrick Kok
Papers
2
Total Citations
7
H-Index
2
About
James Patrick Kok is a researcher at the forefront of formal methods and robotics, specializing in the synthesis-based engineering of supervisory controllers for autonomous systems. His work addresses a critical challenge: ensuring that robotic software, particularly in human-interactive transportation tasks, guarantees safety and task compliance under all possible circumstances. Kok’s major contribution lies in bridging the gap between high-level control models and their executable implementations. He has pioneered approaches that automatically synthesize supervisory controllers, eliminating the risk of manual translation errors. His 2021 paper, "Synthesis-Based Engineering of Supervisory Controllers for Autonomous Robotic Navigation" (4 citations), laid foundational groundwork, while his 2023 follow-up, "Synthesis-based engineering of supervisory controllers for ROS-based applications" (3 citations), extended these methods to the widely-used Robot Operating System (ROS). Though early in his career, Kok’s work is gaining traction for its practical impact on safety-critical robotics. By providing a rigorous, automated pathway from specification to code, he is helping to make autonomous robots safer and more reliable, a key step toward their widespread deployment in human environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2