Prova de Mestrado em Engenharia Informática

Requerida por LISANDRA MARIA PEREIRA DA SILVA subordinada ao tema "Formal Verification in Blockchains and Related Technologies - Using Agda to prove liveness of Consensus Algorithms", dia 17 de dezembro 2020 pelas 11:30, em Videoconferênciahttps://videoconf-colibri.zoom.us/j/87970160320.

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): Simão Patrício Melo de Sousa, Professor Auxiliar, Departamento de Informática, Universidade da Beira Interior

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

Classificação: 19 Valores


Voltar