Prova de Mestrado em Engenharia Informática

Requerida por António Manuel Carvalho Gonçalves subordinada ao tema "Distributed Systems Verification using Why3", dia 18 de março 2024 pelas 14:15, em Sala de Reuniões do DI, Piso 3, Edifício 7, Gualtar.

Composição do júri:
Presidente do Júri: António Manuel Nestor Ribeiro, Professor Auxiliar, Departamento de Informática, Escola de Engenharia, Universidade do Minho

Vogal (Arguente): David Miguel Ramalho Pereira, Investigador, Instituto Superior de Engenharia, Instituto Politécnico do Porto

Vogal (Orientador): Jorge Miguel Matos Sousa Pinto, Professor Associado com Agregação, Departamento de Informática, Escola de Engenharia, Universidade do Minho.

Classificação: 18 valores


Voltar