Prova de Mestrado em Engenharia Informática

Requerida por Carla Isabel Novais da Cruz subordinada ao tema "Verification of Distributed Algorithms with the Why3 tool", dia 11 de abril 2022 pelas 11:30, em Sala de Reuniões, Piso 3, Edifício 7, Gualtar.

Composição do júri:
Presidente do Júri: António Luís Pinto Ferreira Sousa, 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