Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Tiago Silva Meirim
Dissertação intitulada: From OCaml to CakeML, and back
Constituição de Júri:
Presidente:
Doutor Joaquim Francisco Ferreira da Silva, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
Doutor João Luis Alves Barbosa, Prof. Auxiliar, Faculdade de Ciências da Universidade do Porto.
Doutor Mário José Parreira Pereira, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.