Habilitation exams in the field of Computing Engineering: “Case studies of development of verified programs with Dafny”
Requested by:
João Carlos Pascoal de Faria, PhD
July 7 2022, 14:30, Sala de Atos FEUP
Assessment of the curriculum and the report on the study cycle: “Do Mestrado Integrado à Licenciatura e Mestrado em Engenharia Informática e Computação na FEUP”
July 8 2022, 14:30, Sala de Atos FEUP
Discussion of the summary lesson entitled: “Case studies of development of verified programs with Dafny”
President of the Jury:
– João Bernardo de Sena Esteves Falcão e Cunha, PhD, Full Professor and Dean of the Faculdade de Engenharia da Universidade do Porto.
Members:
– Vasco Manuel Thudichum de Serpa Vasconcelos, PhD, Full Professor at Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa;
– Luís Manuel Marques da Costa Caires, PhD, Full Professor at Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
– José Nuno Fonseca Oliveira, PhD, Full Professor at Departamento de Informática da Universidade do Minho;
– Rui Filipe Lima Maranhão de Abreu, PhD, Full Professor at Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
– Pedro Nuno Ferreira da Rosa da Cruz Diniz, PhD, Full Professor at Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.