L’informatique quantique consiste à manipuler des données codées sur l’état de particules régies par les lois de la mécanique quantique. Ces données possèdent des propriétés particulières qu’il est possible d’utiliser pour réaliser des algorithmes potentiellement plus rapides que ce qu’on peut faire avec des méthodes conventionnelles. Depuis quelques années, ce champ de recherche au départ théorique a pris un virage pratique avec la mise en lumière de l’usage qui pourrait en être fait dans des domaines aussi variés que la chimie, le calcul haute performance ou l’intelligence artificielle. Dans cet exposé, nous verrons comment l’on peut passer de l’algorithmique théorique à une implémentation concrète de ces algorithmes, à travers le prisme de la programmation.

M Benoît Valiron est enseignant à l’école d’ingénieur CentraleSupélec et chercheur au laboratoire de recherche en informatique (LRI) de l’Université Paris Saclay. Il a un doctorat en mathématiques de l’Université d’Ottawa réalisé au sein de l’équipe de logique. Ses intérets de recherche couvrent les méthodes formelles, la sémantique des langages de programmation et l’informatique quantique. Il est l’un des développeur du langage de programmation quantique Quipper.