Zhou Chaochen

I detta kinesiska namn är efternamnet Zhou .

Zhou Chaochen
周巢尘
Född	1 november 1937 ( 1937-11 ) ( 85 år ) Nanhui , Shanghai , Kina
Alma mater	Peking University Chinese Academy of Sciences
Känd för	Varaktighetskalkyl
Utmärkelser	Akademiker vid den kinesiska vetenskapsakademin
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Peking University Chinese Academy of Sciences University of Oxford Danmarks tekniska universitet United Nations University
Influenser	Dines Bjørner , Tony Hoare
Influerad	Michael R. Hansen, Anders P. Ravn

Zhou Chaochen ( kinesiska : 周巢尘 ; född 1 november 1937) är en kinesisk datavetare .

Zhou föddes i Nanhui , Shanghai , Kina. Han studerade som grundexamen vid Institutionen för matematik och mekanik, Peking University (1954–1958) och som doktorand vid Institutet för datorteknik, Chinese Academy of Sciences (CAS) (1963–1967).

Han arbetade vid Peking University och CAS fram till sitt besök på Oxford University Computing Laboratory (numera Oxford University Department of Computer Science ) (1989–1992). Under denna tid var han den främsta utredaren av varaktighetskalkylen, en intervalllogik för realtidssystem som en del av det europeiska ESPRIT ProCoS -projektet om bevisligen korrekta system.

Under perioderna 1990–1992 och 1995–1996 var Zhou Chaochen gästprofessor vid Institutionen för datavetenskap, Danmarks Tekniska Universitet , Lyngby , på inbjudan av professor Dines Bjørner . Han var huvudforskare (1992–1997) och senare direktör för UNU-IIST i Macau (1997–2002), tills han gick i pension, då han återvände till Peking .

2007 hedrades Zhou och Dines Bjørner, den första direktören för UNU-IIST, med anledning av deras 70-årsdag. Zhou är medlem av den kinesiska vetenskapsakademin .

Böcker

•   Zhou, Chaochen och 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 .

externa länkar

• Institute of Software, Chinese Academy of Sciences (ISCAS) information
• Chaochen Zhou på DBLP Bibliography Server