Provas de Agregação no ramo de conhecimento em Engenharia Informática: “Case studies of development of verified programs with Dafny”
Requeridas por:
Doutor João Carlos Pascoal de Faria
Dia 7 de julho de 2022, às 14:30, na Sala de Atos da FEUP
Apreciação do currículo e do relatório referente ao ciclo de estudos “Do Mestrado Integrado à Licenciatura e Mestrado em Engenharia Informática e Computação na FEUP”
Dia 8 de julho de 2022, às 14:30, na Sala de Atos da FEUP
Discussão da lição de síntese intitulada “Case studies of development of verified programs with Dafny”
Presidente do Júri:
Doutor João Bernardo de Sena Esteves Falcão e Cunha, Professor Catedrático e Diretor da Faculdade de Engenharia da Universidade do Porto;
Vogais:
– Doutor Vasco Manuel Thudichum de Serpa Vasconcelos, Professor Catedrático do Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa;
– Doutor Luís Manuel Marques da Costa Caires, Professor Catedrático Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
– Doutor José Nuno Fonseca Oliveira, Professor Catedrático do Departamento de Informática da Universidade do Minho;
– Doutor Rui Filipe Lima Maranhão de Abreu, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
– Doutor Pedro Nuno Ferreira da Rosa da Cruz Diniz, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.