Provas de Mestrado Integrado em Engenharia Informática
Lic. Miguel Santos Araújo
Dissertação intitulada: Autómatos de Pilha em OCamlFLAT/OFLAT
Constituição do júri:
Presidente:
• Doutor João Manuel dos Santos Lourenço, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor Simão Melo Patrício de Sousa, Prof. Assoc. c/ Agregação, Faculdade de Engenharia da Universidade da Beira Interior.
• Doutor Artur Miguel de Andrade Vieira Dias, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.