Prof. Zhou Chaochen


Professor Zhou Chaochen is one of the pioneers in the research of distributed programming theory in China. Currently he is Academician of the Chinese Academy of Sciences (CAS) and Member of the Third World Academy of Sciences (TWAS). Professor Zhou received his postgraduate degree from the CAS Institute of Computing Technology in 1967. He has worked for the CAS since 1986. He was elected as CAS Academician in 1993 and TWAS Member in 2000. In 1992 he joined the International Institute for Software Technology of the United Nation University (UNU-IIST) as Principal Research Fellow, and later became Director of UNU-IIST. Professor Zhou is an expert in Mathematical Logic, Information Operating Systems, Networking Systems, and Programme Design Methodology (especially in the area of Formal Methods), profoundly contributing to research in Design Methodology of Distributed Computing Systems and Real-time Computing Systems. Professor Zhou has published over 30 papers in various academic journals and conferences throughout the world. In 1981 he proposed a new method for verifying the accuracy of distributed computing systems with a British scientist. In 1991 he developed a continuous-time interval logic called Duration Calculus for real-time computing system design with scientists from the UK and Denmark, which has been well recognized internationally in the formal methods area. Because of his seminal contributions to distributed computing design theories, Professor Zhou was presented National Natural Science Award (Second Prize) in 1987. In 1988 he was conferred the title “Middle-aged and Young Expert with Outstanding Contribution (at National Level)”.