From State Key Laboratory of Computer Science
|Professional Title:||Research Professor, Academician|
|Research Fields:||Theory of Distributed Programming and Formal Foundations of Real-time Systems|
|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.