Faculdade

Eventos

Provas do Mestrado Europeu em Lógica Computacional - Lic. Tewodros Awgichew Beyene

Provas do Mestrado Europeu em Lógica Computacional 

Lic. Tewodros Awgichew Beyene

Titulo: Constraint-Based Verification of Imperative Programs

Presidente: Doutor José Júlio Alves Alferes, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

 

Vogais: Doutora Maria Inês Camarate de Campos Lynce Faria, Professora Auxiliar do Instituto Superior Técnico da Universidade Técnica de Lisboa

 

Doutor Pedro Manuel C. Calvente Barahona, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa