Provas de Mestrado em Engenharia Informática
Lic. Sérgio António Inácio da Silva
Dissertação intitulada: Type-based Protocol Conformance and Aliasing Control in Concuttent Java Programs
Presidente:
Doutor Rodrigo Seromenho Miragaia Rodrigues, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa - Departamento de Informática
Vogais:
Doutor Salvador Luís Bettencout Pinto de Abreu, Prof. Associado com Agregação, Universidade de Évora - Departamento Engª Informática.
Doutor João Ricardo Viegas da Costa Seco, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa - Departamento de Informática