| 词条 | Zhou Chaochen |
| 释义 |
|name = Zhou Chaochen (周巢塵) |image = |image_size = |caption = |birth_date = {{birth-date and age|1 November 1937}} |birth_place = Nanhui, Shanghai, China |residence = |citizenship = |nationality = Chinese |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 = |influences = Dines Bjørner, Tony Hoare |influenced = Michael R. Hansen, Anders P. Ravn |awards = Academician of the Chinese Academy of Sciences |signature = |footnotes = }}Zhou Chaochen ({{zh|c=周巢塵}}; born 1 November 1937) 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 a member of the Chinese Academy of Sciences.[5] Zhou Chaochen is married with two children.{{fact|date=June 2018}} Books
References1. ^{{cite web | url=http://www.chinavitae.com/biography/Zhou_Chaochen | title=Zhou Chaochen 周巢尘 | website=www.chinavitae.com | publisher=China Vitae | accessdate=April 9, 2012}} 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 (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}}. 4. ^{{cite web | url=https://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}} 5. ^Members of the Chinese Academy of Sciences, Division of Information Technical Sciences, retrieved 2012-07-02. External links
13 : 1937 births|Living people|Peking University alumni|Chinese computer scientists|Peking University faculty|Members of the Department of Computer Science, University of Oxford|Technical University of Denmark faculty|Academics of the United Nations University|Formal methods people|Members of the Chinese Academy of Sciences|Chinese technology writers|Scientists from Shanghai|Computer science writers |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。