Provas de Mestrado Integrado em Engenharia Informática
Lic. João Manuel Calixto Figueira
Dissertação intitulada: A Verification Technique for CRDTS in Rust
Constituição do júri:
Presidente:
• Doutor Nuno Manuel Ribeiro Preguiça, Prof. Associado com Agregação, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor Paulo Sérgio Soares de Almeida, Prof. Auxiliar, Escola de Engenharia da Universidade do Minho.
• Doutora Carla Maria Gonçalves Ferreira, Prof. Associada, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.