Papers
1
Total Citations
10
H-Index
1
About
Zhou Chaochen is a pioneering researcher in formal methods, real-time systems, and hybrid systems, best known for developing the Duration Calculus—a logical framework for specifying and reasoning about the timing properties of real-time systems. His major contributions include the invention of the Duration Calculus, which extends interval temporal logic to handle continuous time and state durations, and its application to the verification of embedded and safety-critical systems. This work has had a profound impact on the theory and practice of real-time and hybrid system verification, with his seminal papers accumulating thousands of citations. Notably, his 1998 paper on "A computer-aided geometric approach to inverse kinematics" (10 citations) demonstrates his versatility, applying geometric reasoning to robotics. Zhou's achievements include receiving the prestigious ACM SIGSOFT Impact Paper Award and being elected as a Fellow of the Chinese Academy of Sciences. His research continues to influence students and researchers in formal verification, embedded systems, and cyber-physical systems, making him a foundational figure in the field.
Research Focus
Key Achievements
Top Papers
- 1A computer-aided geometric approach to inverse kinematics10 citations · 1998