Notícias

Notícias

Static analysis of Information Flow in DCR Graphs

Terça, 6 janeiro, 2026 - 14:30
Nome: 
Lic. Diogo Ye
Grau: 
Mestrado Integrado
Local: 
Ed. II, Sala de Seminários
Curso: 
Mestrado Integrado em Engenharia Informática
Departamento: 
Departamento de Informática
Presidente: 
Doutor Henrique João Lopes Domingos, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Arguente: 

Prof. Doutor Francisco Cipriano da Cunha Martins, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade dos Açores.

Orientador: 
Doutor João Ricardo Viegas da Costa Seco, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.