Mestrado Integrado em Engenharia Informática
Jorge Gabriel Grave Coelho
Dissertação intitulada: Automatic detection and resolution of deadlocks in Go programs
Constituição do Júri
Presidente
• Doutor Henrique João Lopes Domingos, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade de Lisboa - Dep. de Informática.
Vogais
• Doutor Marco Giunti, Investigador Doutorado, Universidade da Beira Interior - Dep. de Informática.
• Doutor António Maria Lobo César Alarcão Ravara, Prof. Associado, Faculdade de Ciências e Tecnologia da UNL - Dep. de Informática.