Dual Degree PhD Program Carnegie Mellon/UNL
Tema da Tese
Rely-guarantee protocols for shared variable programs
Comissão de acompanhamento de tese
Orientador:
Doutor Luís Caires, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
-
Doutor Frank Pfenning, Full Professor of School of Computer Science, Carnegie Mellon University
-
Doutor Jonathan Aldrich, Associate Professor of School of Computer Science, Carnegie Mellon University
- Doutor Karl Crary, Associate Professor of School of Computer Science, Carnegie Mellon University
- Doutor António Ravara, Professor Auxiliar da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa