周超塵

周超塵
周超塵
周巢尘
生まれる	1937年11月1日（年齢 87); 中国、上海、南匯
母校	北京大学; 中国科学院
知られている	期間計算
受賞歴	中国科学院院士
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	北京大学; 中国科学院; オックスフォード大学; デンマーク工科; 大学国連大学

周超塵（中国語:周巢尘; 1937年11月1日生まれ）は中国のコンピュータ科学者である。^[1]

周氏は中国上海市南匯に生まれました。北京大学数学・機械工学科（1954～1958年）で学士課程を修了し、中国科学院（CAS）計算機技術研究所（1963～1967年）で大学院生として学びました。

彼は北京大学とCASに勤務した後、オックスフォード大学コンピューティング研究所（現在のオックスフォード大学コンピュータサイエンス学部）を訪問しました（1989-1992年）。この間、彼は証明可能正しいシステムに関する欧州ESPRIT ProCoSプロジェクトの一環として、リアルタイムシステムのための区間論理である持続計算の主任研究者でした。

1990年から1992年および1995年から1996年の間、周超塵はディネス・ビョルナー教授の招きで、デンマーク・リンビー工科大学コンピュータサイエンス学部の客員教授を務めた。彼は1992年から1997年まで主席研究員、その後マカオのUNU-IISTの所長を務めた（1997年から2002年）^[2] 。その後、定年退職し、北京に戻った。

2007年、周氏とUNU-IISTの初代所長ディネス・ビョルナー氏は70歳の誕生日を記念して表彰された。^[3]^[4]周氏は中国科学院の会員である。^[5]

書籍

Zhou, Chaochen および 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。

^ 「Zhou Chaochen 周巢尘」. China Vitae . 2012年4月9日閲覧。
^ 国連大学学長が周朝晨を国連大学/IISTの新所長に任命、UNU-IIST、1997年、マカオ。
^ Jones, Cliff B.、Liu, Zhiming、Woodcock, Jim (編)、『形式手法とハイブリッドリアルタイムシステム：Dines Bjornerと Zhou Chaochen の 70 歳の誕生日を記念したエッセイ』、Springer、『Lecture Notes in Computer Science 』、『Theoretical Computer Science and General Issues』、第 4700 巻、2007 年。ISBN 978-3-540-75220-2。
^ “Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC”. YouTube . 2007年9月27日. 2021年12月21日時点のオリジナルよりアーカイブ。2012年4月9日閲覧。
^ 中国科学院情報技術科学部会員、2012年7月2日閲覧。