Faculdade

Events

Faculdade

Department

Provas MIEI - Pedro Miguel Laforêt Barroso

Wed, 08 January 2020, 14:00
Tipo de evento: 
Academic Event
Organizador: 
Departamento de Informática
Local do evento: 
Ed. II
Localização específica: 
Sala de Seminários

 

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