Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Diogo da Silva Cagica Carvalho
Dissertação intitulada: Online Interactive Tool for Learning Logical Proof Systems
Constituição do Júri:
Presidente:
• Doutor Rui Pedro da Silva Nóbrega, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor João Pedro Guerreiro Neto, Prof. Auxiliar, Faculdade de Ciências da Universidade de Lisboa.
• Doutor Ricardo João Rodrigues Gonçalves, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.