Shanyan Chen

Papers

Total Citations

H-Index

About

Shanyan Chen is a researcher dedicated to the formal verification of robotic algorithms, with a primary focus on camera pose estimation and dexterous manipulation. His work bridges the gap between theoretical robotics and rigorous mathematical proof, addressing the critical need for correctness in autonomous systems. Chen’s most influential paper, “Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula” (2020), with 11 citations, pioneers the use of formal methods to validate the widely-used Rodrigues formula in pose estimation—a cornerstone for robot navigation and target tracking. This contribution ensures reliability in safety-critical applications where algorithmic errors could lead to system failures. Expanding on this theme, his 2023 paper “Formalization of the inverse kinematics of three-fingered dexterous hand” (6 citations) applies similar rigorous techniques to robotic manipulation, enabling precise control of multi-fingered hands. By formalizing complex kinematic equations, Chen provides a foundation for trustworthy robotic interactions in unstructured environments. His work is notable for its interdisciplinary approach, combining robotics, mathematics, and formal verification, and has significant implications for advancing autonomous systems in manufacturing, healthcare, and exploration. Chen’s research continues to shape how robotic algorithms are validated, ensuring they are both efficient and provably correct.