Notícias

Notícias

Formal Verification of Heap-dependent OCaml Programs

Quarta, 11 junho, 2025 - 14:00 - 16:00
Nome: 
Lic. Keiko Kolin Tiago
Grau: 
Mestrado Integrado
Local: 
Ed. II, Sala de Reuniões P1/5
Curso: 
Mestrado Integrado em Engenharia Informática
Departamento: 
Departamento de Informática
Presidente: 
Doutora Maria Cecília Farias Lorga Gomes, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Arguente: 

Doutor Pedro Jorge Fernandes Ângelo, Prof. Auxiliar Convidado, Faculdade de Ciências da Universidade de Lisboa.

Orientador: 
Doutor Mário José Parreira Pereira, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa