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.

Summaries (2026-27)

Fri 14:00-16:00, Room 1.10 (Gualtar, Ed. 7, Dep. Informatics)

Sep 18 (14:00 - 16:00)

Introduction to the course plan and dynamics.

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 (70%)
• Regular presence and active participation in the Seminars (30%)

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