Provas de Doutoramento em Informática - Mestre Pedro Manuel Sabino Rocha

Título da Tese:

"CLASS: A Logical Foundation for Typeful Programming with Shared State"

Constituição do Júri:

Presidente: Doutor Nuno Manuel Robalo Correia, Professor Catedrático, FCT NOVA;

Vogais:

• Doutor Lars Birkedal, Full Professor na Aarhus University, Dinamarca;

• Doutora Nobuko Yoshida, Full Professor na University of Oxford, Reino Unido;

• Doutor Sam Lindley, Reader na University of Edinburgh, Reino Unido;

• Doutor Vasco Manuel Tudichum de Serpa Vasconcelos, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa;

• Doutor Luís Manuel Marques da Costa Caires, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;

• Doutora Carla Maria Gonçalves Ferreira, Professora Associada da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;

• Doutor Bernardo Parente Coutinho Fernandes Toninho, Professor Auxiliar da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.

Presencial – Sala de Atos, Edifício IV