Prova de Mestrado em Engenharia Informática

Requerida por Gonçalo Couto dos Santos subordinada ao tema "Formal Modelling and Analysis of Clock-SI with TLA+", dia 02 de abril 2025 pelas 10:30, em Anfiteatro A1, Piso 0, Edifício 7, DI - Gualtar.

Composição do júri:
Presidente do Júri: João Tiago Medeiros Paulo, Professor Auxiliar, Departamento de Informática, Escola de Engenharia, Universidade do Minho
Vogal (Arguente): Nuno Filipe Moreira Macedo, Professor Auxiliar, Departamento de Engenharia Informática, Faculdade de Engenharia, Universidade do Porto
Vogal (Orientador): Manuel Alcino Pereira Cunha, Professor Associado, Departamento de Informática, Escola de Engenharia, Universidade do Minho.

Classificação:


Voltar