Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Zhou_Chaochen> ?p ?o }
- Zhou_Chaochen abstract "Zhou Chaochen (Chinese: 周巢塵; born 1 November 1937, Nanhui District, Shanghai) is a Chinese computer scientist.Zhou 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 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 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 Chaochen and Prof. Dines Bjørner, the first Director of UNU-IIST, were honoured on the occasion of their 70th birthdays. Zhou is also a member of the Chinese Academy of Sciences, the highest honour for Chinese scientists.Zhou Chaochen is married with two children.".
- Zhou_Chaochen alias "周巢塵".
- Zhou_Chaochen almaMater Chinese_Academy_of_Sciences.
- Zhou_Chaochen almaMater Peking_University.
- Zhou_Chaochen birthDate "1937-11-01".
- Zhou_Chaochen birthPlace China.
- Zhou_Chaochen birthPlace Nanhui_District.
- Zhou_Chaochen birthPlace Shanghai.
- Zhou_Chaochen birthYear "1937".
- Zhou_Chaochen field Computer_science.
- Zhou_Chaochen influencedBy Tony_Hoare.
- Zhou_Chaochen knownFor Duration_calculus.
- Zhou_Chaochen nationality China.
- Zhou_Chaochen wikiPageExternalLink zhouchaochen.htm.
- Zhou_Chaochen wikiPageID "2578705".
- Zhou_Chaochen wikiPageLength "5289".
- Zhou_Chaochen wikiPageOutDegree "51".
- Zhou_Chaochen wikiPageRevisionID "660379882".
- Zhou_Chaochen wikiPageWikiLink Beijing.
- Zhou_Chaochen wikiPageWikiLink Category:1937_births.
- Zhou_Chaochen wikiPageWikiLink Category:Academics_of_the_United_Nations_University.
- Zhou_Chaochen wikiPageWikiLink Category:Chinese_computer_scientists.
- Zhou_Chaochen wikiPageWikiLink Category:Chinese_technology_writers.
- Zhou_Chaochen wikiPageWikiLink Category:Computer_science_writers.
- Zhou_Chaochen wikiPageWikiLink Category:Educators_from_Shanghai.
- Zhou_Chaochen wikiPageWikiLink Category:Formal_methods_people.
- Zhou_Chaochen wikiPageWikiLink Category:Living_people.
- Zhou_Chaochen wikiPageWikiLink Category:Members_of_the_Chinese_Academy_of_Sciences.
- Zhou_Chaochen wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Zhou_Chaochen wikiPageWikiLink Category:Peking_University_alumni.
- Zhou_Chaochen wikiPageWikiLink Category:Peking_University_faculty.
- Zhou_Chaochen wikiPageWikiLink Category:Scientists_from_Shanghai.
- Zhou_Chaochen wikiPageWikiLink Category:Technical_University_of_Denmark_faculty.
- Zhou_Chaochen wikiPageWikiLink Category:Writers_from_Shanghai.
- Zhou_Chaochen wikiPageWikiLink China.
- Zhou_Chaochen wikiPageWikiLink Chinese_Academy_of_Sciences.
- Zhou_Chaochen wikiPageWikiLink Computer_science.
- Zhou_Chaochen wikiPageWikiLink Computer_scientist.
- Zhou_Chaochen wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Zhou_Chaochen wikiPageWikiLink Dines_Bjørner.
- Zhou_Chaochen wikiPageWikiLink Duration_Calculus.
- Zhou_Chaochen wikiPageWikiLink Duration_calculus.
- Zhou_Chaochen wikiPageWikiLink EATCS.
- Zhou_Chaochen wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Zhou_Chaochen wikiPageWikiLink European_Strategic_Program_on_Research_in_Information_Technology.
- Zhou_Chaochen wikiPageWikiLink Institute_of_Computing_Technology,_Chinese_Academy_of_Sciences.
- Zhou_Chaochen wikiPageWikiLink Interval_logic.
- Zhou_Chaochen wikiPageWikiLink Interval_temporal_logic.
- Zhou_Chaochen wikiPageWikiLink Kongens_Lyngby.
- Zhou_Chaochen wikiPageWikiLink Lyngby.
- Zhou_Chaochen wikiPageWikiLink Macau.
- Zhou_Chaochen wikiPageWikiLink Michael_R._Hansen.
- Zhou_Chaochen wikiPageWikiLink Nanhui_District.
- Zhou_Chaochen wikiPageWikiLink Oxford_University_Department_of_Computer_Science.
- Zhou_Chaochen wikiPageWikiLink Peking_University.
- Zhou_Chaochen wikiPageWikiLink Real-time_computing.
- Zhou_Chaochen wikiPageWikiLink Shanghai.
- Zhou_Chaochen wikiPageWikiLink Springer-Verlag.
- Zhou_Chaochen wikiPageWikiLink Springer_Science+Business_Media.
- Zhou_Chaochen wikiPageWikiLink Technical_University_of_Denmark.
- Zhou_Chaochen wikiPageWikiLink Tony_Hoare.
- Zhou_Chaochen wikiPageWikiLink UNU-IIST.
- Zhou_Chaochen wikiPageWikiLink United_Nations_University.
- Zhou_Chaochen wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- Zhou_Chaochen wikiPageWikiLink University_of_Oxford.
- Zhou_Chaochen wikiPageWikiLinkText "Zhou Chaochen".
- Zhou_Chaochen almaMater "Chinese Academy of Sciences".
- Zhou_Chaochen almaMater "Peking University".
- Zhou_Chaochen alternativeNames "周巢塵".
- Zhou_Chaochen birthDate "1937-11-01".
- Zhou_Chaochen birthPlace China.
- Zhou_Chaochen birthPlace Nanhui_District.
- Zhou_Chaochen birthPlace Shanghai.
- Zhou_Chaochen dateOfBirth "1937-11-01".
- Zhou_Chaochen fields Computer_science.
- Zhou_Chaochen hasPhotoCollection Zhou_Chaochen.
- Zhou_Chaochen influences Tony_Hoare.
- Zhou_Chaochen knownFor Duration_Calculus.
- Zhou_Chaochen knownFor Duration_calculus.
- Zhou_Chaochen name "Zhou Chaochen".
- Zhou_Chaochen name "Zhou, Chaochen".
- Zhou_Chaochen nationality "Chinese".
- Zhou_Chaochen placeOfBirth China.
- Zhou_Chaochen placeOfBirth Nanhui_District.
- Zhou_Chaochen placeOfBirth Shanghai.
- Zhou_Chaochen shortDescription "Computer scientist".
- Zhou_Chaochen wikiPageUsesTemplate Template:AcademicSearch.
- Zhou_Chaochen wikiPageUsesTemplate Template:Authority_control.
- Zhou_Chaochen wikiPageUsesTemplate Template:Chinese_Academy_of_Sciences.
- Zhou_Chaochen wikiPageUsesTemplate Template:DBLP.
- Zhou_Chaochen wikiPageUsesTemplate Template:Infobox_scientist.
- Zhou_Chaochen wikiPageUsesTemplate Template:Persondata.
- Zhou_Chaochen wikiPageUsesTemplate Template:Reflist.
- Zhou_Chaochen wikiPageUsesTemplate Template:Zh.
- Zhou_Chaochen workplaces Chinese_Academy_of_Sciences.
- Zhou_Chaochen workplaces Peking_University.
- Zhou_Chaochen workplaces Technical_University_of_Denmark.
- Zhou_Chaochen workplaces United_Nations_University.
- Zhou_Chaochen workplaces University_of_Oxford.
- Zhou_Chaochen description "Computer scientist".