LTAT.04.004
Quantum Seminar
The Quantum Seminar is for master's students who want to specialize in quantum crypto, quantum computing, or quantum communication.
Minimum requirement for quantum computing topics is the course LTFY.04.012 Fundamentals of Quantum Computing.
Theoretical (=proving theorems) topics require both graduate-level math and quantum information basics (LTAT.04.008 (Introduction to) Quantum Algorithms and/or MTAT.07.024 Quantum Crypto).
Organization
Setup
- Taking
LTAT.00.008 Theoretical Informatics Project
(3 ECTS) in parallel is encouraged (to implement stuff that's in your seminar paper; talk to your seminar supervisor!) - There's a class meeting in the beginning of the semester, and the talks are near the end of the semester.
Presentations
- Talks are 80 min + questions
- Meeting times will be doodled with the participants
Topic Areas
With supervisors in parentheses.
- Quantum Crypto (Unruh)
- Theory of Quantum Computation (Unruh)
- Quantum Algorithms (Dolzhkov, Theis)
- Quantum Error Correction (Gil Vidal, Theis)
- Compilers and intermediate representations for hybrid quantum-classical programming (Theis)
- Testing quantum computing stacks (Theis)
- Differential and variational quantum programming (Theis)
Unruh = Prof. Dominique Unruh
Theis = Assoc. Prof. Dirk Oliver Theis
Dolzhkov = Evgenii Dolzhkov
Gil Vidal = Javier Gil Vidal
Practical projects in quantum computing
Topic areas 5,6,7 are suited for practical projects. This works as follows:
- Read a paper (usually by the supervisor), and present it in the Quantum Seminar
- In parallel, take the course LTAT.00.008 Theoretical Informatics Project (3 ECTS). There, create a proof-of-concept implementation of the method described in the paper. If you want, improve on the method in the paper, or work out practical challenges, or contribute to the theoretical understanding.
- LTFY.04.012 Fundamentals of Quantum Computing is an absolute must.
Some specific topics
1. & 2. Quantum Crypto & Theory of Quantum Computation
Quantum Hoare Logic with Ghost Variables
- https://arxiv.org/pdf/1902.00325.pdf
- Supervisor: Prof. Unruh
Quantum and classical registers
- https://arxiv.org/pdf/2105.10914.pdf
- Supervisor: Prof. Unruh
Any other works related to formal verification or (foundations/semantics of) quantum programming or quantum crypto, on demand. Contact Prof. Dominique Unruh for more info.
3. Quantum Algorithms
4. Quantum Error Correction
5+6+7: Quantum compiling and testing; differential and variational quantum programming
Topics are given individually to students known to the supervisor.
See ya!