Qui, 04 dezembro 2025, 11:00
Tipo de evento:
Prova Académica
Organizador:
Departamento de Informática
Localização específica:
Sala de Reuniões P1/5
Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Leticia Catarina Sousa da Silva
Dissertação intitulada: Model-Checking APIs with Graph Queries
Constituição de Júri:
Presidente:
- Doutora Ana Maria Diniz Moreira, Prof. Catedrática, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
- Doutora Helena Isabel de Jesus Galhardas, Prof. Associada, Instituto Superior Técnico da Universidade de Lisboa.
- Doutora Carla Maria Gonçalves Ferreira, Prof. Catedrática, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
