Cong Tian

Papers

Total Citations

H-Index

About

Cong Tian is a researcher whose work lies at the intersection of real-time systems, robotics, and formal verification. Her most-cited paper, "Verifying schedulability of tasks in ROS-based systems" (2018, 8 citations), addresses a critical challenge in ensuring the timing correctness of robotic software built on the Robot Operating System (ROS). By developing formal methods to verify task schedulability, Tian provides a rigorous foundation for guaranteeing that time-sensitive operations—such as sensor processing and control loops—meet their deadlines, even in complex, multi-task environments. This contribution is vital for the safety and reliability of autonomous systems, from industrial robots to self-driving cars. While her citation count reflects the emerging nature of this specialized field, her work has already influenced practitioners seeking to bridge the gap between theoretical verification and practical ROS deployment. Tian’s research is particularly notable for its direct applicability: it offers engineers concrete tools to analyze and certify system timing, reducing the risk of catastrophic failures. Her focus on formal methods in robotics positions her as a key voice in the growing movement to make autonomous systems both powerful and provably safe.