Zhou Chaochen


Zhou nació en Nanhui , Shanghai , China. Estudió como licenciado en el Departamento de Matemáticas y Mecánica de la Universidad de Pekín (1954-1958) y como posgrado en el Instituto de Tecnología Informática de la Academia China de Ciencias (CAS) (1963-1967).

Trabajó en la Universidad de Pekín y CAS hasta su visita al Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ) (1989-1992). Durante este tiempo, fue el investigador principal del cálculo de duración , una lógica de intervalo para sistemas en tiempo real como parte del proyecto europeo ESPRIT ProCoS sobre sistemas probadamente correctos.

Durante los períodos 1990-1992 y 1995-1996, Zhou Chaochen fue profesor invitado en el Departamento de Ciencias de la Computación de la Universidad Técnica de Dinamarca , Lyngby , por invitación del profesor Dines Bjørner . Fue investigador principal (1992-1997) y luego director de UNU-IIST en Macao (1997-2002), [2] hasta su jubilación, cuando regresó a Beijing .

En 2007, Zhou y Dines Bjørner, el primer director de UNU-IIST, fueron homenajeados con motivo de su 70º cumpleaños. [3] [4] Zhou es miembro de la Academia de Ciencias de China . [5]