Descriptif

Ce cours se veut une ouverture aux langages de programmations et méthodes formelles quantiques. Il s'agit de présenter les différentes pistes pour étendre et adapter les paradigmes de programmations ainsi que les techniques de compilation et de vérification dans le cadre d'un ordinateur quantique.

Dans cette optique, nous nous reposerons sur la théorie des catégories et plus particulièrement la notion de théorie équationnelle diagrammatique afin de fournir un cadre solide pour étudier les processus quantiques. Cela sera l'occasion de reformuler certaines notions abordées en INF587 en terme de réécriture de diagrammes, et d'apporter un éclairage nouveau sur les concepts d'intrication, de matrices de densité ou de POVM. Enfin, il s’agira tendre un pont vers la recherche et l’innovation, très actives dans le jeune domaine de la compilation quantique.