Investigador do INESC TEC conclui provas de agregação na UMinho

Jorge Sousa Pinto, antigo coordenador e atual investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente no Departamento de Informática na Universidade do Minho (UMinho), concluiu em dezembro as provas de agregação, tendo sido aprovado por unanimidade dos membros do júri.

As provas de agregação, com a duração de dois dias, consistiram na apresentação do currículo do candidato aos elementos do júri – composto por António Porto (Universidade do Porto), Luís Caires (Universidade Nova de Lisboa), Pedro Guerreiro (Universidade do Algarve), João Paulo Marques da Silva (Instituto Superior Técnico), e José Valença, José Nuno Oliveira e João Fernandes (Universidade do Minho) – e na análise e discussão de um relatório, submetido previamente pelo candidato, com base numa cadeira na área de algoritmos por ele lecionada na Universidade do Minho. Na segunda parte das provas, Jorge Sousa Pinto fez uma apresentação intitulada "Verification Conditions for Single - Assignment Programs", onde expôs uma introdução às técnicas utilizadas em ferramentas populares utilizadas na verificação das propriedades de software.

Esta apresentação está estreitamente relacionada com o artigo "Formalizing single-assignment program verification: an adaptation-complete approach", que contou com a coautoria de Cláudio Belo Lourenço e Maria João Frade, também do HASLab, e que foi aceite no ESOP'16: 25º Simpósio Europeu sobre Programação, um dos mais relevantes eventos na área de Engenharia de Software.

O grau de agregação é atribuído a docentes detentores de um currículo profissional de elevado mérito que demonstre uma atividade relevante ano nível da investigação, formação ou orientação avançadas, e a autoria de trabalhos científicos de qualidade reconhecida após a obtenção do grau de doutor.

O investigador com ligação ao INESC TEC mencionado no corpo da notícia tem vínculo à UMinho.