Huanhuan Yang

National University of Defense Technology

Papers

Total Citations

H-Index

About

Huanhuan Yang is a researcher advancing the safety and reliability of robotic systems through formal verification methods. Her primary research areas encompass robot kinematics, motion safety, and formal verification of autonomous systems—a critical intersection as robots become integral to aerospace, medicine, and automation. Yang’s most notable contribution is her work on formally verifying robot rotary kinematics, addressing a fundamental gap where conventional hardware and software designs rely heavily on experiential knowledge rather than rigorous proof. Her 2023 paper on this topic, which has garnered 6 citations, proposes a systematic framework to mathematically guarantee motion correctness, directly impacting the well-being of humans and the success of vital societal programs. This achievement stands out for bridging theoretical computer science with practical robotics engineering, offering a pathway to certifiably safe autonomous systems. Yang’s research is particularly significant in high-stakes environments where robot failure is unacceptable, positioning her as a rising voice in the formal methods community. Her work not only advances academic understanding but also provides actionable tools for engineers designing next-generation robotic platforms.