Zhou Chaochen

In this Chinese name, the family name is Zhou.
Zhou Chaochen
周巢尘
Born1 November 1937 (1937-11) (age 88)
Nanhui, Shanghai, China
Alma materPeking University
Chinese Academy of Sciences
Known forDuration calculus
AwardsAcademician of the Chinese Academy of Sciences
Scientific career
FieldsComputer science
InstitutionsPeking University
Chinese Academy of Sciences
University of Oxford
Technical University of Denmark
United Nations University

Zhou Chaochen (Chinese: 周巢尘; born 1 November 1937) is a Chinese computer scientist.[1]

Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954–1958) and as a postgraduate at the Institute of 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 (now the Oxford University Department of Computer Science) (1989–1992). During this time, he was the prime investigator of the duration calculus, an interval logic for real-time systems as part of the European ESPRIT ProCoS project on Provably Correct Systems.[2]

During the periods 1990–1992 and 1995–1996, Zhou Chaochen was a visiting professor at the Department of Computer Science, Technical University of Denmark, Lyngby, on the invitation of Professor Dines Bjørner. He was Principal Research Fellow (1992–1997) and later Director of UNU-IIST in Macau (1997–2002),[3] until his retirement, when he returned to Beijing.

In 2007, Zhou and Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays.[4][5] Zhou is a member of the Chinese Academy of Sciences.[6]

Books

  • Zhou, Chaochen and Hansen, Michael R., Duration Calculus: A Formal Approach to Real-Time Systems. Springer-Verlag, Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1.

References

  1. ^ "Zhou Chaochen 周巢尘". China Vitae. Retrieved April 9, 2012.{{cite web}}: CS1 maint: url-status (link)
  2. ^ Bowen, Jonathan P.; Fränzle, Martin; Olderog, Ernst-Rüdiger; Bjørner, Dines; Hansen, Michael R.; Langmaack, Hans; Liu, Zhiming; Martin, Ursula (17 March 2026). "Experiences from the European ProCoS Projects: Provably Correct Systems". Formal Aspects of Computing. ACM. doi:10.1145/3803555.
  3. ^ UNU Rector appoints Zhou Chaochen as New Director for UNU/IIST Archived 2010-05-28 at the Wayback Machine, UNU-IIST, Macau, 1997.
  4. ^ Jones, Cliff B., Liu, Zhiming, and Woodcock, Jim (eds.), Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, Springer, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Volume 4700, 2007. ISBN 978-3-540-75220-2.
  5. ^ "Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC". YouTube. 27 September 2007. Archived from the original on 2021-12-21. Retrieved April 9, 2012.
  6. ^ Members of the Chinese Academy of Sciences, Division of Information Technical Sciences Archived 2014-10-05 at the Wayback Machine, retrieved 2012-07-02.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.