Learning Outcomes
On successful completion of the course students should be able
- To master several current issues in the foundations of Quantum Computing and its engineering.
Syllabus
The course consists of a weekly seminar on different topics in Physics of Information, covering quantum computing fountadions, methods, applications and engineering. Seminars will be delivered by several experts and academics in the area.
Some topics to be addressed:
Stabilizer formalism; Measurement-based quantum computation; Quantum open systems and quantum channels; von Neumann quantum logic; Quantum dynamic logics; Paraconsistent reasoning; Contextuality; Quantum programming languages, etc.Course Plan (tentative)
Summaries (2026-27)
Fri 14:00-16:00, Room 0.09 (Gualtar, Ed. 7, Dep. Informatics)
| Sep 18 (14:00 - 16:00) | Introduction to the course plan and dynamics. |
| Sep 25 (14:00 - 16:00) | From Quantum Information to Quantum Networks: Architectures, Protocols, and the Road to the Quantum Internet, by Flávio Silva, DI, UMinho (slides). |
| Oct 2 (14:00 - 16:00) | The stabilizer formalism (1), by Filipa Cavaco, UMinho and Johannes Kepler Universität, Linz. |
| Oct 9 (14:00 - 16:00) | The stabilizer formalism (2), by Filipa Cavaco, UMinho and Johannes Kepler Universität, Linz.
References: (a) Tutorial: (link) and section 10.5 of M. A. Nielsen and I. L. Chuang, "Quantum Computation and Quantum Information". (b) On classical simulation see (link), chapter 2, and (link). |
| Oct 16 (14:00 - 16:00) | Towards universal quantum computation with QLDPCs, by Bruno Coutinho, German Aerospace Center (DLR) and UMinho (slides). |
| Oct 23 (14:00 - 16:00) | Measurement-based quantum computation (1), by Filipa Cavaco, UMinho and Johannes Kepler Universität, Linz. |
| Oct 30 (14:00 - 16:00) | Measurement-based quantum computation (2), by Filipa Cavaco, UMinho and Johannes Kepler Universität, Linz (slides). |
| Nov 6 (14:00 - 16:00) | Quantamorphisms and quantum program calculi, by José Nuno Oliveira, UMinho (slides). |
| Nov 13 (14:00 - 16:00) | Paraconsistent reasoning in software engineering, by Luís Soares Barbosa, UMinho (slides) and (side note). |
References & Documents
(to be added)Links
- Quantum Programming in PennyLane
- QSE - Quantum Software Group at INESCT TEC
- Quantum and Linear Optical Computation Group at INL
Pragmatics
Lecturers
- Luís Soares Barbosa
- Filipa Peres (invited lecturer)
Assessment
- Individual assignment: Paper recitation with written report and oral discussion (40%)
- Regular presence and active participation in the Seminars (60%)
Contact
- Appointments (please send an email the day before)
Fri, 18:00-20:00
- Email: lsb at di dot uminho dot pt (Luis) and filipa dot cavaco dot peres at gmaildot com (Filipa)
- Last update: 2026.11.11