Zhou Chaochen - Zhou Chaochen

V tomhle čínské jméno, rodinné jméno je Zhou.
Zhou Chaochen
周 巢 尘
narozený1. listopadu 1937 (1937-11) (stáří83)
Nanhui, Šanghaj, Čína
Alma materPekingská univerzita
Čínská akademie věd
Známý jakoPočítadlo trvání
OceněníAkademik z Čínská akademie věd
Vědecká kariéra
PolePočítačová věda
InstitucePekingská univerzita
Čínská akademie věd
University of Oxford
Technická univerzita v Dánsku
Univerzita OSN
VlivyVečeře Bjørner, Tony Hoare
OvlivněnoMichael R. Hansen, Anders P. Ravn

Zhou Chaochen (čínština : 周 巢 尘; narozen 1. listopadu 1937) je Číňan počítačový vědec.[1]

Zhou se narodil v Nanhui, Šanghaj, Čína. Vystudoval katedru matematiky a mechaniky, Pekingská univerzita (1954–1958) a postgraduální studium na Ústav výpočetní techniky, Čínská akademie věd (CAS) (1963–1967).

Působil na Pekingské univerzitě a v CAS až do své návštěvy Oxford University Computing Laboratory (nyní Oxford University Department of Computer Science ) (1989–1992). Během této doby byl hlavním vyšetřovatelem Počítadlo trvání, an logika intervalu pro reálný čas systémy jako součást evropského ESPRIT ProCoS projekt na prokazatelně správných systémech.

V období 1990–1992 a 1995–1996 byl Zhou Chaochen hostujícím profesorem na katedře informatiky, Technická univerzita v Dánsku, Lyngby, na pozvání Profesor Dines Bjørner. Byl hlavním výzkumným pracovníkem (1992–1997) a později ředitelem UNU-IIST v Macao (1997–2002),[2] až do svého odchodu do důchodu, kdy se vrátil do Peking.

V roce 2007 byli Zhou a Dines Bjørnerovi, prvním ředitelům UNU-IIST, oceněni u příležitosti jejich 70. narozenin.[3][4] Zhou je členem Čínská akademie věd.[5]

Knihy

  • Zhou, Chaochen a Hansen, Michael R., Duration Calculus: Formální přístup k systémům v reálném čase. Springer-Verlag, Monografie v teoretické informatice, An EATCS Série, 2003. ISBN  3-540-40823-1.

Reference

  1. ^ „Zhou Chaochen 周 巢 尘“. China Vitae. Citováno 9. dubna 2012.
  2. ^ Rektor UNU jmenoval Zhou Chaochen novým ředitelem pro UNU / IIST, UNU-IIST, Macao, 1997.
  3. ^ Jones, Cliff B., Liu, Zhiming, a Woodcock, Jim (eds.), Formální metody a hybridní systémy v reálném čase: Pokusy o čest Dines Bjorner a Zhou Chaochen při příležitosti jejich 70. narozeninSpringer, Přednášky z informatiky, Theoretical Computer Science and General Issues, Volume 4700, 2007. ISBN  978-3-540-75220-2.
  4. ^ „Mike Reed ctí Dinesa Bjørnera a Zhou Chaochena na ICTAC“. Youtube. 27. září 2007. Citováno 9. dubna 2012.
  5. ^ Členové Čínské akademie věd, divize informačních technických věd, vyvoláno 2012-07-02.

externí odkazy