Map     中文
Chaochen ZHOU

From State Key Laboratory of Computer Science

Main Page > People > Staff > Chaochen ZHOU
Jump to: navigation, search
Professional Title: Research Professor, Academician Zcc.jpg
Research Fields: Theory of Distributed Programming and Formal Foundations of Real-time Systems
Tel: 010-62661607
E-Mail: zcc (at) ios.ac.cn

Prof.Chaochen ZHOU is 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.


Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki