Skip Navigation LinksIntranet : Conselho Pedagógico : Detalhes do Edital

Prova de Mestrado em Engenharia Informática

Requerida por Bárbara Andreia Cardoso Ferreira subordinada ao tema "Conversão para Why3 de Formalizações em Coq", dia 01 de abril 2022 pelas 15: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: 17 valores


Voltar