China Vitae

Biography

Zhou Chaochen, male, Han nationality is a native of Nanhui, Jiangsu
Province, and was born in Shanghai. He graduated from Beijing University in
1958.

Zhao researched the manufacture of information processing systems, computer operation systems, and network systems in the late 1960s. In the mid 1970s, he engaged in research on program design methodology with an emphasis on the formalization method. Zhao's formalization method established the mathematic base of software engineering.

Zhao advocated for the strict method and tools of software design and development in order for the software engineering to at last be listed among modern engineering sciences. The software industry field, especially in the research and manufacture of strict safety systems, has adopted his formalization method. Since the 1980s, he has mainly been engaged in the research of distribution systems and has also engaged in research on real time systems.

Zhou is an academician of both the 3rd World Academy of Sciences and the Chinese Academy of Science.