Dual Degree PhD Program Carnegie Mellon/UNL
Tema da Tese
"Rely-Guarantee Protocols for Safe Interference over Shared Memory"
Constituição do júri
Vogais:
- Professor Doutor Luís Caires - Faculdade de Ciências e Tecnologia /UNL (co-orientador)
- Professor Doutor Jonathan Aldrich - Carnegie Mellon University, EUA (co-orientador)
- Professor Doutor Vasco Tudichum Vasconcelos, Faculdade de Ciências /UL
- Professor Doutor Neelakantan R. Krishnaswami - University of Brimingham, UK
- Professor Doutor Frank Pfenning - Carnegie Mellon University, EUA
- Professor Doutor Karl Crary - Carnegie Mellon University, EUA
- Professor Doutor António Ravara - Faculdade de Ciências e Tecnologia /UNL
Local da Prova
Carnegie Mellon University, EUA