Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Miguel de Sousa Lourenço
Dissertação intitulada: Máquinas de Turing em OCAML-FLAT/OFLAT
Constituição do Júri:
Presidente:
• Doutor Vítor Manuel Alves Duarte, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor Francisco Manuel Gonçalves Coelho, Prof. Auxiliar, Escola de Ciências e Tecnologia da Universidade de Évora.
• Doutor Artur Miguel de Andrade Vieira Dias, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.