Saltar para:
Logótipo
Você está em: Início > Notícias > Provas de Agregação: "Case studies of development of verified programs with Dafny"

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.

Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2022-08-18 às 20:56:59 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias