|
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
|