Quantum Computing @MAP-i 2020-21

MAP-i - Joint Doctoral Programme in Computer Science

Minho, Aveiro and Porto Universities


Welcome to the webpage of the course "Quantum Computing 2020/2021". Arguably quantum computing is coming of age. With the race for quantum rising between major IT players (e.g. IBM, Intel, Google, Microsoft), and the announcement of prototype-machines up to 50 qubits, it seems that we are in the verge of a real shift. For the first time the viability of quantum computing may be demonstrated in a number of real problems extremely difficult to handle, if possible at all, classically, and its utility discussed across industries. In a sense, Feynman’s dream of letting Nature, suitably engineered, compute for us through its own natural quantum behaviour, seems to be closer, even if the project of a universal quantum computer has still a long way to go. In the somehow emphatic language of the media, a ‘second quantum revolution’ is quickly approaching. It is characterised by the ability to harness the most weird quantum phenomena, namely superposition and entanglement, as computational resources, with practical advantage. In such a context, this course introduces, at a doctoral programme level, the foundations of quantum computing, as well as a number of specialised topics on the forefront of research on quantum software engineering.

Learning Outcomes

On successful completion of the course students should be able


12 OCT 2012 Quantum Information & Computation (Renato Neves, Univ. of Minho & UCL) [1, 2, 3]
19 OCT 2020 The circuit model & laboratory (Renato Neves, Univ. of Minho & UCL) [1, 2, 3]
26 OCT 2020 Quantum algorithms & laboratory (Renato Neves, Univ. of Minho & UCL) [1, 3, 4, 6]
02 NOV 2020 Error-correcting codes (Raquel Pinto, Univ. of Aveiro) [12, 13, 14]
09 NOV 2020 Computability & complexity (José E. Santo, Univ. of Minho) [7, 8 5]
16 NOV 2020 Quantum lambda-calculus (José E. Santo, Univ. of Minho) [9, 10 11]
07 DEC 2020 Logics for quantum programs (Renato Neves, Univ. of Minho & UCL) [1, 15, 16]
Extra Activities


Basic References
Bedtime readings


Assessment is based on an individual report on a research topic and a small programming exercise in a quantum programming language (typically Qiskit). N.b. Further than evaluating the student's knowledge on quantum computing, the goal of this assessment is to hone requisite skills for a successful research career: namely, to understand the main ideas of a scientific work, to form a rigorous, critical analysis of it, and to properly explain ideas/opinions to peers both orally and in written.
Course Coordinator
Other Lecturers

Last update: 10.01.2021