MFP

Logo

Índice

Métodos Formais em Engenharia de Software
Cálculo de Sistemas de Informação
Programação Ciber-física
Verificação Formal
Calendário | Sumários
Anos anteriores
Alumni

CSI/2024-25

Alunos

Inscritos

Nome NM Método Grupo
Ana João da Rocha Alves pg57505 A  
Bruno Dias da Gião pg57868 B G03
Carlos Alberto Ribeiro pg55926 B G01
David José de Sousa Machado pg54468 B G01
Diogo Gomes Matos pg55934 B G02
Délio Miguel Lopes Alves a94557 A  
Flávio Alexandre Marques da Silva pg57539 A  
Gonçalo Vilar Vale pg53849 A  
Henrique Morais Pereira pg57876 A  
José Filipe Ribeiro Rodrigues pg55969 B G02
José Henrique Dias Monteiro pg53971 A  
João Costa Marques Machado pg55952 A  
João Henrique Rodrigues Pestana do Vale pg53915 A  
João Manuel Franqueira da Silva pg55618 B G03
Juciano Gomes Farias Junior pg55973 A  
Lara Regina da Silva Pereira pg57884 B G02
Luís de Castro Rodrigues Caetano pg57887 A  
Maria Eugénia Bessa Cunha pg54042 A  
Moisés Araújo Antunes pg50663 A  
Rafael Reis Teixeira Mendes Rodrigues pg55624 A  
Ricardo Moreira da Silva pg55626 B G01
Tiago Emanuel Lemos Teixeira pg57904 B G03
Tiago Pinheiro da Silva pg57617 A