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

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.09.30