Master Thesis in Informatics and Computing Engineering - FEUP

Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @AndreFCruz.

Project developed for 'Computer Networks', a third year subject @FEUP. Made in collaboration with @EdgarACarneiro and @Kubix20.

Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods

⭐ 🧾 👤 My personal's Curriculums Vitae and Resumés.

Two C projects for FEUP's RCOM course

Projects for RCOM

🕸️ MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester

Code developed for my PRI classes, FEUP - MEIC (2021/22)

Second project for the RC course unit at FEUP.

Engenharia de Requisitos

Projects and Notes of the UC Processamento e Recuperação da Informação. MEIC, Year 4, Semester 1.

Work done for the thesis preparation course

Laboratório de Computadores (LCOM) documentation and exercises. LEIC, Year 2, Semester 2.