Zhou Chaochen
computer scientist
Zhou Chaochen (Chinese: 周巢尘; born 1 November 1937) is a Chinese computer scientist.
Zhou was born in Nanhui, Shanghai, 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 a 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), until his retirement, when he returned to Beijing.
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.
Books
Zhou, Chaochen and Hansen, Michael R., Duration Calculus: A Formal Approach to Real-Time Systems.
“Zhou Chaochen” enters the record as computer scientist. Crown Archives preserves that source wording while asking what Zhou, Chaochen and computer can confirm, complicate or overturn.
Why this record matters
“Zhou Chaochen” is worth following because a concise public description often conceals a longer documentary argument. Here, Zhou, Chaochen and computer provides the most credible route into that argument.
The entry’s evidential value lies in the named roles, institutions and publications that can be tested against primary documentation. The source revision retrieved here is dated Sep 2, 2026. The linked authority identifier is Q8071005. VIAF identifies the subject as 23196764. The Library of Congress control number is n2003003568. 2 of 3 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank. The first chronological checks are 1937, 1954, 1958 and 1963.
A concise life account rarely captures disputed attribution, private networks or the changing language used to describe a career. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “Zhou Chaochen”, its source revision and the description used here.
- Expand the search: follow Zhou Chaochen primary sources, Zhou Chaochen archive and Zhou research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Zhou Chaochen”?
- Which claims depend on a single source or contested interpretation?
- How has the subject’s reputation changed across later accounts?
Search terms from this dossier
This entry incorporates text from “Zhou Chaochen” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.