Provas de Mestrado Europeu em Lógica Computacional
Lic. Amr Hany Saleh
Dissertação intitulada: Constraint Reasoning with Local Search for Continuous Optimization
Constituição do Júri:
Presidente:
• Doutor Pedro Manuel Corrêa Calvente de Barahona, Professor Catedrático, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Vogais:
• Doutor Sergio Tessaris, Assistant Professor, Free University of Bozen-Bolzano
• Doutor Jorge Carlos Ferreira Rodrigues da Cruz, Professor Auxiliar, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa