Go to:
Logótipo
Esta página em português Ajuda Autenticar-se
FEUP
Bandeira a meia haste - A FEUP encontra-se de luto
You are here: Start > News > Provas de Agregação: "Case studies of development of verified programs with Dafny"

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.

Recommend this page Top
Copyright 1996-2022 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2022-06-30 at 11:47:53 | Reports Portal