- Zhou Chaochen
Zhou Chaochen ( _zh. 周巢塵; born November 1, 1937) is a Chinese
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 logicfor real-time systems as part of the European ESPRITProCoS project on Provably Correct Systems.
During the periods
1990– 1992and 1995– 1996, Chaochen he was a visiting professor at the Department of Computer Science, Technical University of Denmark, Lyngby, at the invitation of Professor Dines Bjørner. He became Director of UNU-IISTin Macau( 1997– 2002), having been a Principal Research Fellow ( 1992– 1997), before his retirement back to Beijing.
Zhou Chaochen is married with two children.
* [http://www.iscas.ac.cn/english/people/zhouchaochen.htm Institute of Software, Chinese Academy of Sciences (ISCAS) information]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Duration calculus — (DC) is an interval logic for real time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.… … Wikipedia
Dines Bjørner — Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna… … Wikipedia
Chen Jingrun — Born May 22, 1933(1933 05 22) Fuzhou, Fujian Province … Wikipedia
Chinese Academy of Sciences — This article is about the institution in Chinese mainland. For the institution in Taiwan, see Academia Sinica. Chinese Academy of Sciences 中国科学院 Chinese Academy of Sciences … Wikipedia
Chien Wei-zang — This is a Chinese name; the family name is Chien (Qian). Chien Wei zang or Qian Weichang (simplified Chinese: 钱伟长; traditional Chinese: 錢偉長; pinyin: Qián Wěicháng) (9 October 1913 – 30 July 2010) was a Chinese physicist and applied mathematician … Wikipedia
Min Enze — This is a Chinese name; the family name is Min. Min Enze (Chinese: 闵恩泽; February, 1924 ) is a renowned Chinese expert in petrochemical catalysis, and an academician of the Chinese Academy of Sciences (CAS) and the Chinese Academy of Engineering… … Wikipedia
Cheng Chemin — (or Zheng Zhemin, (born 1924), Simplified Chinese: 郑哲敏), is a Chinese physicist specialized in explosive mechanics. Contents 1 Biography 2 Honors and awards 3 References … Wikipedia
Chang-Lin Tien — Seventh Chancellor University of California, Berkeley Term 1990 – 1997 Born July 24, 1935(1935 07 24) … Wikipedia
Chien-Shiung Wu — This is a Chinese name; the family name is Wu (吴). Chien Shiung Wu Chien Shiung Wu when young … Wikipedia
Tong Dizhou — (童第周) (May 28, 1902 － March 30, 1979) was a Chinese embryologist remembered for his contributions to the field of cloning. He was the former vice president of Chinese Academy of Science Biography Born in Yinxian, Zhejiang province, Tong graduated … Wikipedia