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.