MEI - Mestrado em Engenharia Informática

Conjunto de projetos e respetivas classificações do 2º grau do meu percurso académico pessoal, assim como os respetivos autores e classificações.

1º Ano

1º Semestre

• CP - Computação Paralela
• DAA - Dados e Aprendizagem Automática
• ESR - Engenharia de Serviços em Rede:
  • TP1
  • TP2
  • TP3
• RAS - Requisitos de Arquitetura e Software
• ASCN - Aplicações e Serviços de Computação em Nuvem

2º Semestre

Perfis de Especialização: Métodos Formais de Programação(MFP), Criptografia e Segurança de Informação(CSI)

• MFP - Métodos Formais de Programação

  • CSI - Cálculo de Sistemas de Informação
  • PCF - Programação Ciber-Física:
    • TPC1
    • TPC2
    • TP1
    • TP2
  • VF - Verificação Formal:
    • Coq
    • Why3
    • TLA+

• CSI - Criptografia e Segurança de Informação

  • EC - Estruturas Criptográficas:
    • TP0
    • TP1
    • TP2
    • TP3
  • ES - Engenharia de Segurança:
    • Pratica-I
    • Pratica-II
  • TS - Tecnologias de Segurança:
    • Fichas
    • TP1
    • TP2

2º Ano

Projeto de Informática

• Generation of Synthetic Datasets for Sign Language