Jump to content

Zhou Chaochen: Difference between revisions

Edit links
From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
KasparBot (talk | contribs)
1,549,811 edits
Rescuing 1 sources and tagging 1 as dead. #IABot (v1.1)
Line 34: Line 34:
During the periods 1990–1992 and 1995–1996, Zhou Chaochen was visiting professor at the Department of Computer Science, [[Technical University of Denmark]], [[Lyngby]], on the invitation of [[Dines Bjørner|Professor Dines Bjørner]]. He was Principal Research Fellow (1992–1997) and later Director of [[UNU-IIST]] in [[Macau]] (1997–2002),<ref>[http://www.unu.edu/media/archives/1997/pre-18.97.html UNU Rector appoints Zhou Chaochen as New Director for UNU/IIST], [[UNU-IIST]], Macau, 1997.</ref> until his retirement, when he returned to [[Beijing]].
During the periods 1990–1992 and 1995–1996, Zhou Chaochen was visiting professor at the Department of Computer Science, [[Technical University of Denmark]], [[Lyngby]], on the invitation of [[Dines Bjørner|Professor Dines Bjørner]]. He was Principal Research Fellow (1992–1997) and later Director of [[UNU-IIST]] in [[Macau]] (1997–2002),<ref>[http://www.unu.edu/media/archives/1997/pre-18.97.html UNU Rector appoints Zhou Chaochen as New Director for UNU/IIST], [[UNU-IIST]], Macau, 1997.</ref> until his retirement, when he returned to [[Beijing]].


In 2007, Zhou Chaochen and Prof. Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays.<ref>[[Cliff Jones (computer scientist)|Jones, Cliff B.]], [[Liu Zhiming (computer scientist)|Liu, Zhiming]], and [[Jim Woodcock|Woodcock, Jim]] (editors),''[http://www.springer.com/computer/programming/book/978-3-540-75220-2Formal 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.</ref><ref>{{cite web | url=http://www.youtube.com/watch?v=kNthS_kSLo0 | title=Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC | publisher=[[YouTube]] | date=27 September 2007 | accessdate=April 9, 2012}}</ref> Zhou is also a member of the Chinese Academy of Sciences, the highest honour for Chinese scientists.<ref>[http://english.casad.cas.cn/Me/Di/Me/Me_DITS/ Members of the Chinese Academy of Sciences, Division of Information Technical Sciences], retrieved 2012-07-02.</ref>
In 2007, Zhou Chaochen and Prof. Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays.<ref>[[Cliff Jones (computer scientist)|Jones, Cliff B.]], [[Liu Zhiming (computer scientist)|Liu, Zhiming]], and [[Jim Woodcock|Woodcock, Jim]] (editors),''[http://www.springer.com/computer/programming/book/978-3-540-75220-2Formal Methods and Hybrid Real-Time Systems]{{dead link|date=July 2016 |bot=InternetArchiveBot |fix-attempted=yes }}: 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.</ref><ref>{{cite web | url=http://www.youtube.com/watch?v=kNthS_kSLo0 | title=Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC | publisher=[[YouTube]] | date=27 September 2007 | accessdate=April 9, 2012}}</ref> Zhou is also a member of the Chinese Academy of Sciences, the highest honour for Chinese scientists.<ref>[http://english.casad.cas.cn/Me/Di/Me/Me_DITS/ Members of the Chinese Academy of Sciences, Division of Information Technical Sciences], retrieved 2012-07-02.</ref>


Zhou Chaochen is married with two children.
Zhou Chaochen is married with two children.
Line 45: Line 45:


== External links ==
== External links ==
* [http://www.iscas.ac.cn/english/people/zhouchaochen.htm Institute of Software, Chinese Academy of Sciences (ISCAS) information]
* [http://web.archive.org/web/20060228084836/http://www.iscas.ac.cn:80/english/people/zhouchaochen.htm Institute of Software, Chinese Academy of Sciences (ISCAS) information]
* {{DBLP|id=Chaochen:Zhou}}
* {{DBLP|id=Chaochen:Zhou}}
* {{AcademicSearch|650673}}
* {{AcademicSearch|650673}}

Revision as of 15:55, 21 July 2016

Zhou Chaochen (周巢塵)
Born1 November 1937 (1937-11)
Nanhui, Shanghai, China
NationalityChinese
Alma materPeking University
Chinese Academy of Sciences
Known forDuration Calculus
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, Nanhui District, Shanghai) is a Chinese computer scientist.[1]

Zhou 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 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.

During the periods 1990–1992 and 1995–1996, Zhou Chaochen was 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),[2] until his retirement, when he returned to Beijing.

In 2007, Zhou Chaochen and Prof. Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays.[3][4] Zhou is also a member of the Chinese Academy of Sciences, the highest honour for Chinese scientists.[5]

Zhou Chaochen is married with two children.

Books

  • Chaochen, Zhou 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}}: External link in |publisher= (help)
  2. ^ UNU Rector appoints Zhou Chaochen as New Director for UNU/IIST, UNU-IIST, Macau, 1997.
  3. ^ Jones, Cliff B., Liu, Zhiming, and Woodcock, Jim (editors),Methods and Hybrid Real-Time Systems[permanent dead link]: 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.
  4. ^ "Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC". YouTube. 27 September 2007. Retrieved April 9, 2012.
  5. ^ Members of the Chinese Academy of Sciences, Division of Information Technical Sciences, retrieved 2012-07-02.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Zhou_Chaochen&oldid=730887528"