Quantum logic (Lógica Quântica)

MSc 5 ECTS Course Unit introducing logical-categorial foundations for quantum programming.

Interaction and concurrency (Interacção e Concorrência)

Undergraduate 5 ECTS Course Unit on how on reactive (process algebra and modal logic) and quantum systems.

Quantum computation (Computação Quântica)

MSc 5 ECTS Course Unit on principles of quantum computation and quantum algorithms.