Provas de Mestrado em Engenharia Informática
Lic.Paulo Jorge Abreu Duarte Ferreira
Dissertação intitulada: Information Flow Analysis Using Data-dependent Logical propositions
Presidente
Doutor João Alexandre Carvalho Pinheiro Leite, Prof. Auxiliar, da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa - Departamento de Informática
Vogais
Doutor Simão Melo Patrício de Sousa, Prof. Auxiliar, Universidade da Beira Interior
Doutor João Ricardo Viegas da Costa Seco,Prof. Auxiliar, da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa - Departamento de Informática