imported>PrimeBOT: Task 30: parameter removal following discussion

2023-10-12T20:37:28Z

Task 30: parameter removal following discussion

New page

{{short description|Chinese computer scientist}}
{{family name hatnote|[[Zhou (surname)|Zhou]]|lang=Chinese}}
{{Infobox scientist
| name = Zhou Chaochen
| native_name = 周巢尘
| image =
| image_size =
| caption =
| birth_date = {{birth-date and age|1 November 1937}}
| birth_place = [[Nanhui District|Nanhui]], [[Shanghai]], [[China]]
| fields = [[Computer science]]
| workplaces = [[Peking University]] [[Chinese Academy of Sciences]] [[University of Oxford]] [[Technical University of Denmark]] [[United Nations University]]
| alma_mater = Peking University Chinese Academy of Sciences
| doctoral_advisor =
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = [[Duration calculus]]
| author_abbrev_bot =
| author_abbrev_zoo =
| awards = [[Academician]] of the [[Chinese Academy of Sciences]]
}}

'''Zhou Chaochen''' ({{zh|s=周巢尘}}; born 1 November 1937) is a Chinese [[computer scientist]].<ref>{{cite web | url=http://www.chinavitae.com/biography/Zhou_Chaochen | title=Zhou Chaochen 周巢尘 |work=China Vitae | access-date=April 9, 2012}}</ref>

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 computing|real-time]] systems as part of the European [[European Strategic Program on Research in Information Technology|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 [[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 and 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]] (eds.), ''[https://www.springer.com/computer/programming/book/978-3-540-75220-2 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}}.</ref><ref>{{cite web | url=https://www.youtube.com/watch?v=kNthS_kSLo0 |archive-url=https://ghostarchive.org/varchive/youtube/20211221/kNthS_kSLo0 |archive-date=2021-12-21 |url-status=live| title=Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC | publisher=[[YouTube]] | date=27 September 2007 | access-date=April 9, 2012}}{{cbignore}}</ref> Zhou is a member of the [[Chinese Academy of Sciences]].<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>

==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==
{{Reflist}}

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


{{Authority control}}

{{DEFAULTSORT:Zhou, Chaochen}}
[[Category:1937 births]]
[[Category:Living people]]
[[Category:Chinese computer scientists]]
[[Category:Formal methods people]]
[[Category:Members of the Chinese Academy of Sciences]]
[[Category:Members of the Department of Computer Science, University of Oxford]]
[[Category:Peking University alumni]]
[[Category:Academic staff of Peking University]]
[[Category:Scientists from Shanghai]]
[[Category:Academic staff of the Technical University of Denmark]]
[[Category:Academic staff of United Nations University]]

Zhou Chaochen - Revision history

imported>PrimeBOT: Task 30: parameter removal following discussion