Provas de Doutoramento em Informática do Mestre Bernardo Toninho

Dual Degree PhD Program Carnegie Mellon/UNL

Tema da Tese

"A logical Foundation for Session-based Concurrent Computation"

Constituição do júri

Presidente: Doutor Nuno Manuel Robalo Correia, Faculdade de Ciências e Tecnologia /UNL

Vogais:

• Doutor Luís Caires - Faculdade de Ciências e Tecnologia /UNL (co-orientador)
• Doutor Frank Pfenning - Carnegie Mellon University, EUA (co-orientador)
• Doutor Simon Gay - University of Glasgow, UK
• Doutor Vasco Tudichum Vasconcelos, Faculdade de Ciências /UL
• Doutor Robert W. Harper - Carnegie Mellon University, EUA
• Doutor Stephen Brookes - Carnegie Mellon University, EUA
• Professor Doutor António Ravara - Faculdade de Ciências e Tecnologia /UNL