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.
