Notícias

Provas de Agregação: "Case studies of development of verified programs with Dafny"

Provas de Agregação no ramo de conhecimento em Engenharia Informática

Requeridas por:
Doutor João Carlos Pascoal de Faria

Dia 7 de julho de 2022, às 14h30, 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 14h30, 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 Informatica 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.