I have been mainly involved in the teaching of the following courses.

Programação Funcional
Introduction to Functional Programming taught to 1st year students of Computer Science (PF CC) and Informatics Engineering (PF EI).

Algoritmos e Complexidade
Introduction to Algorithms and Complexity taught to 2nd year students of Computer Science (AeC CC) and Informatics Engineering (AeC EI).

Cálculo de Programas
An introduction to generic programming course taught to 2nd year students of Computer Science (CP CC) and Informatics Engineering (CP EI).