Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Keiko Kolin Tiago
Dissertação intitulada: Formal Verification of Heap-dependent OCaml Programs
Constituição de Júri:
Presidente:
Doutora Maria Cecília Farias Lorga Gomes, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
Doutor Pedro Jorge Fernandes Ângelo, Prof. Auxiliar Convidado, Faculdade de Ciências da Universidade de Lisboa.
Doutor Mário José Parreira Pereira, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.