Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Ronaldo Ludgero Abreu da Corte
Dissertação intitulada: Smart Types for Smart Contracts Validation
Constituição do júri:
Presidente:
• Doutor Nuno Manuel Robalo Correia, Prof. Catedrático, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Professor Sylvain Conchon, Professor, Université Paris-Saclay.
• Doutor António Maria Lobo César Alarcão Ravara, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.