Hi Guest
AboutZhou Chaochen
All Updates
Description:
Zhou Chaochen (; born November 1, 1937) 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),, UNU-IIST, Macau, 1997. having been a Principal Research Fellow (1992–1997), before his retirement back to Beijing.
Zhou Chaochen is married with two children.
Read More
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),, UNU-IIST, Macau, 1997. having been a Principal Research Fellow (1992–1997), before his retirement back to Beijing.
Zhou Chaochen is married with two children.
Books
- Jones, Cliff B., Liu, Zhiming, and Woodcock, Jim (editors), : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, Springer, Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, Volume 4700, 2007. ISBN 978-3-540-75220-2.
References
External links
Read More
Posting your question. Please wait!...No messages found
Suggested Pages
Tell your friends >
about this page
about this page
Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
Find your friends
Find friends on MyPage from