Provas de Mestrado Integrado em Engenharia Informática
Lic. Gualter Manuel Ribeiro Morais Parada
Dissertação intitulada: Inferring Likely Data Invariants
Constituição do Júri:
Presidente:
Doutor João Baptista da Silva Araújo Júnior, Prof. Associado, Faculdade de Ciências e Tecnologia da UNL ‐ Dep. de Informática.
Vogais:
Doctor Cláudio Belo Lourenço, Research Engineer, Inria Saclay / Huawei Edinburgh Join Lab, Toccata research team.
Doutora Carla Maria Gonçalves Ferreira, Profª Associada, Faculdade de Ciências e Tecnologia da UNL ‐ Dep. de Informática.