Zhengpu Shi

Nanjing University of Aeronautics and Astronautics

Papers

Total Citations

H-Index

About

Zhengpu Shi is a researcher at the forefront of formal verification and robotics, with a focus on ensuring the safety and reliability of autonomous systems. His key research areas include formal methods, kinematic verification, and robot motion safety, where he bridges the gap between theoretical rigor and practical engineering. Shi’s most notable contribution is his work on the formal verification of robot rotary kinematics, published in 2023, which has already garnered 6 citations—a strong early impact indicator in a specialized field. This work addresses a critical gap: while conventional robot design relies on experiential knowledge, Shi applies mathematically rigorous formal verification to guarantee motion safety, particularly for applications in aerospace, medicine, and automation where failures can have catastrophic consequences. His approach provides a foundational framework for certifying robot behavior, moving beyond traditional testing to provable correctness. Shi’s research is particularly significant for students and engineers seeking to build trustworthy robotic systems, as it demonstrates how formal methods can be practically applied to real-world kinematic challenges. With his growing citation record and the timeliness of his safety-focused contributions, Zhengpu Shi is establishing himself as a key voice in the formal verification of robotic systems.