Prova de Mestrado em Engenharia Informática

Requerida por Francisca Quintas Monteiro Barros subordinada ao tema "Safety Verification of Jasmin programs", dia 14 de novembro 2025 pelas 11:30, em Anfiteatro A1, Piso 0, Edifício 7, DI - Gualtar.

Composição do júri:
Presidente do Júri: Ana Luísa Parreira Nunes Alonso, Professor Auxiliar, Departamento de Informática,
Escola de Engenharia, Universidade do Minho

Vogal (Arguente): Simão Patrício Melo de Sousa, Professor Catedrático, Faculdade de Ciências e
Tecnologia, Universidade do Algarve

Vogal (Orientador): José Carlos Bacelar Ferreira Junqueira Almeida, Professor Associado, Departamento de Informática, Escola de Engenharia, Universidade do Minho.

Classificação: 19 valores


Voltar