Zhou Chaochen

Zhou Chaochen is a China computer scientist (born November 1, 1937).

Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954–1958) and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences (CAS) (1963–1967).

He worked at Peking University and CAS until his visit to the Oxford University Computing Laboratory (1989–1992). During this time he was the prime instigator of the Duration Calculus, an interval logic for real-time systems as part of the European ESPRIT ProCoS project on Provably Correct Systems.

During the periods 1990–1992 and 1995–1996, Chaochen he was a visiting professor at the Department of Computer Science, Technical University of Denmark, Lyngby, at the invitation of Dines Bjørner. He became Director of UNU-IIST in Macau (1997–2002), having been a Principle Research Fellow (1992–1997), before his retirement back to Beijing. He is married with two children.

= External links =

*[http://www.iscas.ac.cn/english/people/zhouchaochen.htm Institute of Software, Chinese Academy of Sciences (ISCAS) information] *[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chaochen:Zhou.html Publications listed in DBLP]