Zhou Chao Chen

Zhou Chaochen ( chino :周巢尘; nacido el 1 de noviembre de 1937) es un científico informático chino . ^[¹^]

Zhou nació en Nanhui , Shanghái , China. Estudió su licenciatura en el Departamento de Matemáticas y Mecánica de la Universidad de Pekín (1954-1958) y su 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 en la CAS hasta su visita al Laboratorio de Computación de la Universidad de Oxford (actualmente 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 intervalos para sistemas en tiempo real, como parte del proyecto europeo ESPRIT ProCoS sobre Sistemas Demostrablemente Correctos. ^{[ 2 ]}

Durante los periodos 1990-1992 y 1995-1996, Zhou Chaochen fue profesor visitante 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 posteriormente director de UNU-IIST en Macao (1997-2002), ^{[ 3 ]} hasta su jubilación, cuando regresó a Pekín .

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

Libros

Zhou, Chaochen y Hansen, Michael R., Cálculo de duración: Un enfoque formal para sistemas en tiempo real . Springer-Verlag , Monografías en informática teórica, Serie EATCS , 2003. ISBN 3-540-40823-1.

Referencias

↑ "Zhou Chaochen 周巢尘" . China Vitae . Consultado el 9 de abril de 2012 .{{cite web}}: CS1 mantenimiento: estado de la URL ( enlace )
↑ Bowen, Jonathan P. ; Fränzle, Martin; Olderog, Ernst-Rüdiger ; Bjørner, Dines ; Hansen, Michael R.; Langmaack, Hans ; Liu, Zhiming ; Martin, Ursula (17 de marzo de 2026). "Experiencias de los proyectos europeos ProCoS: sistemas demostrablemente correctos" . Aspectos formales de la computación . ACM . doi : 10.1145/3803555 .
↑ El rector de la UNU nombra a Zhou Chaochen como nuevo director de UNU/IIST. Archivado el 28 de mayo de 2010 en Wayback Machine , UNU-IIST , Macao, 1997.
↑ Jones, Cliff B. , Liu, Zhiming y Woodcock, Jim (eds.), Métodos formales y sistemas híbridos en tiempo real : Ensayos en honor a Dines Bjorner y Zhou Chaochen con motivo de su 70.º cumpleaños , Springer, Lecture Notes in Computer Science , Theoretical Computer Science and General Issues, Volumen 4700, 2007. ISBN 978-3-540-75220-2.
↑ "Mike Reed rinde homenaje a Dines Bjørner y Zhou Chaochen en ICTAC" . YouTube . 27 de septiembre de 2007. Archivado del original el 21 de diciembre de 2021. Consultado el 9 de abril de 2012 .
↑ Miembros de la Academia China de Ciencias, División de Ciencias Técnicas de la Información. Archivado el 5 de octubre de 2014 en Wayback Machine , recuperado el 2 de julio de 2012.