Acções do Documento
Investigador do INESC TEC homenageado
José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi homenageado, no dia 26 de setembro, num Festschrift Symposium. O investigador foi homenageado pelo seu papel pioneiro na aplicação de Métodos Formais na área de Engenharia de Software em Portugal.
O seu trabalho colocou a Universidade do Minho, onde é professor catedrático, numa posição cimeira nesta área, sendo o seu grupo de trabalho internacionalmente reconhecido em modelação formal e cálculo de programas.
O simpósio, que celebrou o 60º aniversário de José Nuno Oliveira, contou com a presença de alguns dos mais importantes especialistas nacionais e internacionais na área dos métodos formais.
Quando questionado sobre a sensação de ser alvo de uma homenagem deste tipo, José Nuno Oliveira confessa que “Foi uma grande e agradável surpresa. Foram todos, organizadores e participantes, de uma enorme generosidade e simpatia para comigo.”
O investigador com ligação ao INESC TEC referido nesta notícia tem vínculo à seguinte entidade parceira: UMinho.
INESC TEC, setembro de 2015
Esqueceu a sua senha?
