Zhou Chaochen

Zhou Chaochen is a Chinese computer scientist and a founding figure of formal-methods research in China, long associated with the Institute of Software of the Chinese Academy of Sciences. He is a principal co-developer of Duration Calculus, a formal logic developed in collaboration with researchers including Chris Zhou during a research period at Oxford, used for precisely specifying and verifying the timing behavior of real-time computing systems such as those controlling industrial and safety-critical equipment.