Zhou Chaochen

Zhou Chaochen

Zhou Chaochen ( _zh. 周巢塵; born November 1, 1937) is a Chinese computer scientist.

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 logic for real-time systems as part of the European ESPRIT ProCoS project on Provably Correct Systems.

During the periods 19901992 and 19951996, 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-IIST in Macau (19972002), having been a Principal Research Fellow (1992–1997), before his retirement back to Beijing.

Zhou Chaochen is married with two children.

External links

* [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.[1][2]… …   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.[1] 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[1] 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