Faculdade

Eventos

Discussão do Plano de Tese do Mestre Pedro Barroso

Qua, 16 julho 2025, 09:30 - 12:30
Tipo de evento: 
Prova Académica
Organizador: 
Departamento de Informática
Local do evento: 
Edifício II
Localização específica: 
Sala de Seminários do DI

Discussão do Plano de Tese do Programa Doutoral em Informática

Mestre Pedro Barroso

 

Plano de tese intitulado: 

ENHANCING MEMORY SAFETY THROUGH FORMAL VERIFICATION: THE CASE OF THE OCAML GARBAGE COLLECTOR
  

Presidente:

Doutora Carla Ferreira, Prof.ª Catedrática, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.

 

CAT:

Doutor Artur Miguel Dias, Professor Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;

Doutor Jacques-Henri Jourdan, Researcher, Université Paris-Saclay;

Doutor João Seco, Professor Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;

Doutor KC Sivamakishnan, Assistant Professor, Indian Institute of Technology;

Doutor António Ravara, Professor Associado, NOVA FCT - Orientador 

 

Plataforma Zoom