Zhou Chaochen is a Chinese computer scientist.
| Property | Value |
|---|
| p:abstract
| - 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 and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences . He worked at Peking University and CAS until his visit to the Oxford University Computing Laboratory . 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, having been a Principal Research Fellow, before his retirement back to Beijing. Zhou Chaochen is married with two children. (en)
|
| p:hasPhotoCollection
| |
| p:id
| |
| p:name
| |
| p:wikiPageUsesTemplate
| |
| rdf:type
| |
| rdfs:comment
| - Zhou Chaochen is a Chinese computer scientist. (en)
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is owl:sameAs
of | |
![[RDF Data]](http://dbpedia.org/statics/sw-cube.png)
