Programming languages for quantum computing

Course guarantor:

Lecturer:

Tutor:

Supervisor:

Department of Theoretical Computer Science

Synopsis:

Computational models for quantum computing: quantum Turing machine, QRAM, lambda calculus with qubits. Higher programming languages for quantum computation: imperative languages (Silq), functional languages (QML, Quipper). ). In the seminars the student will learn the basics of programming in the higher programming language Silq.

Requirements:

Syllabus of lectures:

1. Models of computation - Quantum Turing Machine.

2. Quantum finite automaton. QRAM.

3. Quantum lambda calculus.

4. Silq as a higher imperative programming language - data types, computation control.

5. Silq - functions and iterations.

6. Silq - calculations with multiple qubits. Super dense coding.

7. Silq - description of quantum circuits with quantum logic gates.

8. Quantum algorithms I (Deutsch-Jozsa, Bernstein-Vazirani).

9. Quantum algorithms II (Grover's search algorithm, Simon's algorithm).

10. Silq - Error correction.

11. Assessment test.

12. Functional programming languages for quantum computing - QML.

13. Functional programming languages for quantum computing - Quipper.

Syllabus of tutorials:

Not filled yet.

Study Objective:

Computational models for quantum computing: quantum Turing machine, QRAM, lambda calculus with qubits. Higher programming languages for quantum computation: imperative languages (Silq), functional languages (QML, Quipper). ). In the seminars the student will learn the basics of programming in the higher programming language Silq.

Study materials:

1. Ganguly, S., Cambier, T.: Quantum Computing with Silq Programming

Packt Publishing 2021, ISBN 978-1800569669

2. Hundt, R.:Quantum Computing for Programmers

Cambridge University Press 2022, ISBN 9781009099974

3. Giovannetti, V., Lloyd, S., Maccone, L.: Quantum random access memory

arXiv: 0708.1879 2008

4. Quipper

Quipper Online, www.mathstat.dal.ca/selinger/quipper/ 2021

5. QML Online

ncatlab.org/nlab/show/QML 2023

Note:

Information about the course and teaching materials can be found at https://courses.fit.cvut.cz/QNI-PJK

Further information:

https://courses.fit.cvut.cz/QNI-PJK

No time-table has been prepared for this course

The course is a part of the following study plans:

• Quantum Informatics (compulsory elective course)