Chencheng Tang

Papers

Total Citations

H-Index

About

Chencheng Tang is a leading researcher at the intersection of robotics, formal verification, and control theory, with a primary focus on ensuring the safety and correctness of autonomous systems operating in complex, contact-rich environments. Their most significant contribution is pioneering a formal verification framework for robotic contact tasks—such as assembly, manipulation, and locomotion—using reachability analysis. This work directly addresses the critical challenge of model uncertainties in physical interactions, where traditional testing methods cannot guarantee safe behavior across all possible scenarios. By developing efficient algorithms to compute the set of all possible robot states, Tang enables provable guarantees for tasks where contact forces are unpredictable. Their seminal 2023 paper, "Formal Verification of Robotic Contact Tasks via Reachability Analysis," has already garnered 3 citations, establishing a new benchmark in the field. Tang’s research bridges the gap between rigorous computer science verification techniques and practical robotics, offering a path toward certifiably safe autonomous systems. Their work is particularly impactful for applications in manufacturing, healthcare robotics, and human-robot collaboration, where contact safety is paramount.