Quantum Computing 2019-20

Learning Outcomes

On successful completion of the course students should be able

To master the principles and main techniques of quantum programming.
To design and analyse quantum algorithms.
To understand the basic elements of quantum programming languages and associated dynamic logics.

02 OCT 2019 - Lecture 1: Principles of quantum information and computation (Luis S. Barbosa, UM & INL)
16 OCT 2019 - Lecture 2: Quantum lambda calculus (José C. Espírito Santo, UM)
05 NOV 2019 - Lecture 3: Quantum lambda calculus and computational models (Benoît Valiron)
This special lecture will take place on Tuesday, 5 Nov, DI-A1, in two slots: 11H00-13H00 and 14H30 - 16H30
13 Nov 2019 - Lecture 4: Computability and complexity (classic vs quantum) (José C. Espírito Santo, UM)
20 NOV 2019 - Lecture 5: Error correcting codes (Raquel Pinto, UA)
28 NOV 2019 - Lecture 6: Logics for quantum programs (Alexandre Madeira, UA)
tba - Extra Session: Quantum algorithms in the IBM Q (Luis S. Barbosa, UM & INL)

M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information (10th Anniversary Edition). Cambridge University Press, 2010
N. S. Yanofsky and M. A. Mannucci. Quantum Computing for Computer Scientists. Cambridge University Press, 2008.
E. Rieffel and W. Polak. Quantum Computing: A Gentle Introduction. MIT Press, 2011.
M. Ying. Foundations of Quantum Programming. Elsevier, 2016.
H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice Hall (2nd Ed), 1997.
Raymond Hill. A First Course in Coding Theory. Oxford Press, 1990
J.R. Hindley and J.P. Seldin. Lambda-calculus and Combinators: an Introduction. Cambridge University Press, 2008.
Ugo Dal Lago, Andrea Masini, and Margherita Zorzi. On a measurement-free quantum lambda calculus with classical control. Mathematical Structures in Computer Science, 19(2):297-335, 2009.
Peter Selinger and Benoît Valiron. A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16(3):527{552, 2006.

N. S. Yanofsky. The Outer Limits of Reason. MIT Press, 2013.
S. Aaronson. Quantum Computing since Democritus. Cambridge University Press, 2013.