Prof. Zhou Chaochen

Prof. Zhou Chaochen
O Professor Doutor Zhou Chaochen, especialista em software e teoria da ciência informática, é pioneiro e um dos fundadores da teoria da programação distribuída na China. Foi director do Instituto Internacional da Universidade das Nações Unidas de Tecnologia do Software (UNU-IIST) e membro do Instituto de Software da Academia de Ciências da China (ACC). É membro da ACC e da Academia de Ciências dos Países em Desenvolvimento (ACPD).
Concluiu o grau de pós-graduação no Instituto da Tecnologia da Computação da ACC em 1967. Foi investigador do Instituto de Software da ACC desde 1986, académico da ACC desde 1993, membro da ACPD desde 2000 e investigador-chefe e director do UNU-IIST entre 1992 e 2002.
O Professor Doutor Zhou desenvolveu um estudo aprofundado nas áreas de lógica matemática, sistema de processamento de informação, sistema operacional de computador e sistema de network, metodologia da programação de software (métodos formais), com particular incidência na metodologia de programação de sistemas de computação distribuída e de tempo real. É autor de mais de 30 artigos publicados em periódicos especializados ou proferidos em conferências nacionais e internacionais. Inventou, em 1981, em parceria com académicos britânicos, a verificação composicional da correcção do sistema de programação distribuída e em 1991 a abordagem lógica da programação de sistema de tempo real com colegas britânicos e dinamarqueses.
Devido à sua distinta investigação na área da teoria de programação distribuída, o Professor Doutor Zhou foi galardoado com o Segundo Prémio das Ciências Naturais da China. Em 1988, foi-lhe concedido o título de "Jovem Investigador com Contribuições Notáveis". Criou recentemente a noção de cálculo de duração, sendo mais um contributo reconhecido mundialmente para a inovação da programação formal e verificação de sistemas de tempo real.