Título da tese: Maintaining the Correctness of Transactional Memory Programs
Constituição do júri:
Presidente: Reitor
Vogais:
- Doutor José Alberto Cardoso e Cunha, Prof. Catedrático Aposentado, FCT/UNL
- Doutor Luís Eduardo Teixeira Rodrigues, Prof. Catedrático, IST/UTL
- Doutor Rui Carlos Mendes de Oliveira, Prof. Associado, Univ. do Minho
- Doutor João Manuel Pinheiro Cachopo, Prof. Auxiliar, IST/UTL
- Doutor João Ricardo Viegas da Costa Seco, Prof. Auxiliar, FCT/UNL
- Doutor João Manuel dos Santos Lourenço, Prof. Auxiliar, FCT/UNL
- Architect Timothy Lawrence Harris, Especialista ao abrigo do nº 6 do artº 34º do Decreto-Lei nº 115/2013 de 7 de Agosto, Oracle Labs, Cambridge (UK)