Zhou Chaochen
Encyclopedia
Zhou Chaochen is a Chinese
computer scientist
.
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 for 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
(1989–1992). During this time he was the prime instigator 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, Chaochen he was a visiting professor at the Department of Computer Science, Technical University of Denmark
, Lyngby, at the invitation of Professor Dines Bjørner
. He became Director of UNU-IIST
in Macau
(1997–2002), having been a Principal Research Fellow (1992–1997), before his retirement back to Beijing
.
Zhou Chaochen is married with two children.
China
Chinese civilization may refer to:* China for more general discussion of the country.* Chinese culture* Greater China, the transnational community of ethnic Chinese.* History of China* Sinosphere, the area historically affected by Chinese culture...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
.
Chaochen is a professor from Beijing
Beijing
Beijing , also known as Peking , is the capital of the People's Republic of China and one of the most populous cities in the world, with a population of 19,612,368 as of 2010. The city is the country's political, cultural, and educational center, and home to the headquarters for most of China's...
, China
China
Chinese civilization may refer to:* China for more general discussion of the country.* Chinese culture* Greater China, the transnational community of ethnic Chinese.* History of China* Sinosphere, the area historically affected by Chinese culture...
. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University
Peking University
Peking University , colloquially known in Chinese as Beida , is a major research university located in Beijing, China, and a member of the C9 League. It is the first established modern national university of China. It was founded as Imperial University of Peking in 1898 as a replacement of the...
(1954–1958) and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences
Chinese Academy of Sciences
The Chinese Academy of Sciences , formerly known as Academia Sinica, is the national academy for the natural sciences of the People's Republic of China. It is an institution of the State Council of China. It is headquartered in Beijing, with institutes all over the People's Republic of China...
(CAS) (1963–1967).
He worked at Peking University and CAS until his visit to the Oxford University Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
(1989–1992). During this time he was the prime instigator of the Duration Calculus
Duration Calculus
Duration calculus is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action ProCoS project on Provably Correct Systems.DC is mainly useful at the requirements level of...
, an interval logic for real-time
Real-time computing
In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...
systems as part of the European ESPRIT ProCoS project on Provably Correct Systems.
During the periods 1990–1992 and 1995–1996, Chaochen he was a visiting professor at the Department of Computer Science, Technical University of Denmark
Technical University of Denmark
The Technical University of Denmark , often simply referred to as DTU, is a university just north of Copenhagen, Denmark. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and is today ranked among Europe's leading engineering institutions, and the...
, Lyngby, at the invitation of Professor Dines Bjørner
Dines Bjørner
Professor Dines Bjørner is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method at IBM in Vienna...
. He became Director of UNU-IIST
UNU-IIST
The United Nations University International Institute for Software Technology is a United Nations University Research Training Centre based in Macau.-History:...
in Macau
Macau
Macau , also spelled Macao , is, along with Hong Kong, one of the two special administrative regions of the People's Republic of China...
(1997–2002), having been a Principal Research Fellow (1992–1997), before his retirement back to Beijing
Beijing
Beijing , also known as Peking , is the capital of the People's Republic of China and one of the most populous cities in the world, with a population of 19,612,368 as of 2010. The city is the country's political, cultural, and educational center, and home to the headquarters for most of China's...
.
Zhou Chaochen is married with two children.
Books
- Jones, Cliff B., Liu, Zhiming, and Woodcock, JimJim WoodcockProfessor Jim C. P. Woodcock FRSA FBCS FREng is a British computer scientist.Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College...
(editors), 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 ScienceLecture Notes in Computer ScienceLecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
, Theoretical Computer Science and General Issues, Volume 4700, 2007. ISBN 978-3-540-75220-2.