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:


Voltar