Provas de Mestrado Integrado em Engenharia Informática
Pedro Miguel Laforêt Barroso
Dissertação intitulada: Formally Verified Bug-free Implementations of (Logical) Algorithms
Constituição do júri:
Presidente:
• Doutor José Júlio Alves Alferes, Professor Catedrático, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Vogais:
• Doutora Nelma Moreira, Professora Auxiliar, Faculdade de Ciências, Universidade do Porto
• Doutor António Maria Lobo César Alarcão Ravara, Professor Associado, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa