Prof. Chaochen Zhou is an internationally renowned expert in computer theory. He was initially from Nanhui, Jiangsu, and was born in Shanghai. He graduated from the Department of Mathematics and Mechanics of Peking University in 1958 and earned his M.S. degree from the Institute of Computing Technology, Chinese Academy of Sciences in 1967. Prof. Zhou was elected as a member of the Chinese Academy of Sciences in 1993 and a member of The World Academy of Sciences for the Advancement of Science in Developing Countries in 2000.

Prof. Zhou transferred to developing information processing systems, computer operating systems and network systems in the late 1960s. Since the mid-1970s, he has devoted himself to programming methodology, especially formal method research. His formal method has established the mathematical foundation of software engineering and advocated strict methods and tools for software design and development, hoping that software engineering will eventually become the ranks of modern engineering science. Prof. Zhou’s formal method has been gradually adopted by the software industry, especially for the development of strict security systems. In the 1980s, he was mainly engaged in the research of distributed systems. In the 1990s, he engaged in real-time system research.