About us
International Cooperation
Education & Training
Join Us
Societies & Publications
ZHOU Chaochen -- CAS Member

Institute of Software
Chinese Academy of Sciences

Email: zcc(AT)ios.ac.cn

Prof.ZHOU Chaochen, a member of Chinese Academy of Sciences, is one of the pioneers in the research of distributed programming theory in China. In 1991, he was interested in real-time systems, and jointly with Professor Hoare and Ravn proposed a continuous-time interval logic called Duration Calculus(DC) which can specify the real-time systems. Owing to its originality, DC has been well recognized in the formal methods area, and has attracted scientists from more than twenty countries to further develop it. From Aug. 1997 to Sep. 2002, Professor Zhou served as the director of the International Institute for Software Technology, United Nations University.