Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. David Maria Almeida Amorim Costa
Dissertação intitulada: Session Kotlin: A hybrid session type embedding in Kotlin
Constituição do júri:
Presidente:
• Doutor Hervé Miguel Cordeiro Paulino, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor Francisco Cipriano da Cunha Martins, Prof. Associado, Faculdade de Ciências e Tecnologia da Universidade dos Açores.
• Doutor Bernardo Parente Coutinho Fernandes Toninho, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.