Seg, 09 dezembro 2024, 13:00 - 15:00
Tipo de evento:
Prova Académica
Organizador:
Departamento de Informática
Local do evento:
Edifício XI
Localização específica:
Sala 1
Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Ion Chirica
Dissertação intitulada: Unfolding Iterators Specification and Verification of Higher-Order Iterators, in OCaml
Constituição de Júri:
Presidente:
- Doutor João Carlos Antunes Leitão, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
- Doutor Jean-Christophe Filliâtre, Principal Investigator, Université Paris-Saclay.
- Doutor Mário josé Parreira Pereira, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
