Titre : Calcul et programmation quantique

Benoit Valiron

Résumé : Dans cet exposé nous introduirons le modèle standard pour le
calcul quantique: les circuits et la notion de co-processeur
quantique. Puis nous analyserons la structure usuelle des algorithmes
quantiques, quelles en sont les briques de base, comment les coder et
ce qu'implique la compilation d'un programme quantique. Finalement,
nous discuterons du développement de méthodes formelles pour le calcul
quantique.