This course is a primer in quantum programming languages and quantum formal methods. It presents various approaches adapting paradigms of programmation and compilation techniques to the quantum computing setting.
To do so, we will rely on category theory and string diagrams as a foundational framework to study quantum processes. It will be an occasion to provide new diagrammatical insights on the notions taught in INF587, like entanglement, density matrices, or POVMs, and to discover recent advances in quantum compiling.
- Teaching coordinator: Carette Titouan