Provas de Defesa da Dissertação de Mestrado Integrado em Engenharia Informática
Lic. Rodrigo Miguel Nogueira Soares P. Mesquita
Dissertação intitulada: Type-checking Linearity in Core: Semantic Linearity for a Lazy Optimising Compiler
Constituição do Júri:
Presidente:
• Doutor Nuno Manuel Ribeiro Preguiça, Prof. Catedrático, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Vogais:
• Doutor Vasco Thudichum Vasconcelos, Prof. Catedrático, Faculdade de Ciências da Universidade de Lisboa.
• Doutor Bernardo Parente Coutinho Fernandes Toninho, Prof. Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.