Bachelor/master theses
See here.
Courses
Winter 2026
- Cryptography, lecture
- (Post-quantum cryptography: not taking place!)
- Theorem proving in Lean, practical lab
- Quantum programming languages, seminar
- Programming quantum algorithms, practical lab
Summer 2026
- Introduction to quantum computing, lecture
- Programming quantum algorithms, practical lab
- Quantum cryptography, seminar
- Quantum program verification, seminar
- Quantum Computing, proseminar
Winter 2025/26
- Post-quantum cryptography, lecture
- Quantum programming languages, seminar
- Programming quantum algorithms, practical lab
- Quantum cryptography, seminar
Summer 2025
- Introduction to quantum computing, lecture
- Quantum programming languages, seminar
- Quantum program logics, seminar
- Programming quantum algorithms, practical lab
Winter 2024/25
- Post-quantum cryptography, lecture
Summer 2024
- Introduction to quantum computing, lecture
- Near-term Quantum Computation, lecture (by Tobias Stollenwerk)
- Quantum algorithms, seminar
Winter 2023/24
- Post-quantum cryptography, lecture