Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Carolina Pereira Duarte
Dissertação intitulada: Composição de modelos utilizando operações regulares em OCamlFLAT/OFLAT
Constituição de Júri:
Presidente:
• Doutora Susana Maria dos Santos Nascimento Martins de Almeida, Prof. Auxiliar, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.
Vogais:
• Doutor Rogério Ventura Lages dos Santos Reis, Prof. Auxiliar, Faculdade de Ciências da Universidade do Porto.
• Doutor Artur Miguel de Andrade Vieira Dias, Prof. Auxiliar, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa.