|
Prova de Mestrado em Engenharia Informática
Requerida por Márcio Alexandre Mota Sousa subordinada ao tema "Formalization of Deep Learning Techniques
with the Why3 Proof Platform", dia 01 de abril 2022 pelas 14:15, 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: 16 valores
Voltar
|