Zhou Chaochen (; born 1 November 1937) is a Chinese

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

. Zhou was born in

Nanhui Nanhui District (), Postal romanization, formerly romanized as Nanhwei, was a district of Shanghai until it was merged into Pudong New Area in May 2009. It had a land area of about and a coastline. The population of Nanhui was as of August ...

Shanghai Shanghai, Shanghainese: , Standard Chinese pronunciation: is a direct-administered municipality and the most populous urban area in China. The city is located on the Chinese shoreline on the southern estuary of the Yangtze River, with the ...

, China. He studied as an undergraduate at the Department of Mathematics and Mechanics,

Peking University Peking University (PKU) is a Public university, public Types of universities and colleges in China#By designated academic emphasis, university in Haidian, Beijing, China. It is affiliated with and funded by the Ministry of Education of the Peop ...

(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 The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division, University of Oxford, Mathematical, Physical and Life ...

(now the

Oxford University Department of Computer Science The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. ...

) (1989–1992). During this time, he was the prime investigator of the duration calculus, an interval logic for

real-time Real-time, realtime, or real time may refer to: Computing * Real-time computing, hardware and software systems subject to a specified time constraint * Real-time clock, a computer clock that keeps track of the current time * Real-time Control Syst ...

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 The Technical University of Denmark (), often simply referred to as DTU, is a polytechnic university and school of engineering. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and it is today ran ...

Lyngby Kongens Lyngby (, Danish language, Danish for "the King's Heather Town"; short form Lyngby) is the seat and commercial centre of Lyngby-Taarbæk Municipality in the northern suburbs of Copenhagen, Denmark. Lyngby Hovedgade is a busy shopping stre ...

, on the invitation of Professor Dines Bjørner. He was Principal Research Fellow (1992–1997) and later Director of UNU-IIST in

Macau Macau or Macao is a special administrative regions of China, special administrative region of the People's Republic of China (PRC). With a population of about people and a land area of , it is the most List of countries and dependencies by p ...

(1997–2002), until his retirement, when he returned to

Beijing Beijing, Chinese postal romanization, previously romanized as Peking, is the capital city of China. With more than 22 million residents, it is the world's List of national capitals by population, most populous national capital city as well as ...

. In 2007, Zhou and Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays. Zhou is a member of the

Chinese Academy of Sciences The Chinese Academy of Sciences (CAS; ) is the national academy for natural sciences and the highest consultancy for science and technology of the People's Republic of China. It is the world's largest research organization, with 106 research i ...

.Members of the Chinese Academy of Sciences, Division of Information Technical Sciences
retrieved 2012-07-02.

Books

* Zhou, Chaochen and Hansen, Michael R., ''Duration Calculus: A Formal Approach to Real-Time Systems''.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, Monographs in Theoretical Computer Science, An

EATCS The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...

Series, 2003. .

References

External links

Institute of Software, Chinese Academy of Sciences (ISCAS) information
* {{DEFAULTSORT:Zhou, Chaochen 1937 births Living people Chinese computer scientists Formal methods people Members of the Chinese Academy of Sciences Members of the Department of Computer Science, University of Oxford Peking University alumni Academic staff of Peking University Scientists from Shanghai Academic staff of the Technical University of Denmark Academic staff of United Nations University