Home
About me
Publications
Projects
Supervision
Activities
News
Teaching
Luís Soares Barbosa
About me
Publications
Projects
Supervision
Activities
News
Teaching
Teaching
Quantum logic (Lógica Quântica)
MSc 5 ECTS Course Unit introducing logical-categorial foundations for quantum programming.
1st Year,
MSc in Physics Engineering
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.
3rd Year,
Lic. Computer Science
Quantum computation (Computação Quântica)
MSc 5 ECTS Course Unit on principles of quantum computation and quantum algorithms.
1st Year,
MSc in Physics Engineering