Faculdade

Events

Faculdade

Department

Provas MIEI - Filipe Silva Meirim

Mon, 02 December 2019, 17: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

Filipe Silva Meirim

Dissertação intitulada: Static Verification of Cloud Applications with Why3

Constituição do júri:

Presidente:
• Doutor António Maria Lobo César Alarcão Ravara, Professor Associado, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Vogais:
• Doutor Jorge Sousa Pinto, Professor Associado com Agregação com Agregação, Universidade do Minho
• Doutora Carla Maria Gonçalves Ferreira, Professora Associada, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa