Résumé
Les ordinateurs quantiques fonctionnent selon les lois physiques de la mécanique quantique. Sur le plan théorique, l’informatique quantique promet de résoudre certains problèmes à une vitesse exponentiellement plus grande que celle des méthodes classiques les plus connues, avec des applications allant de la rupture de la cryptographie conventionnelle à la découverte de nouveaux matériaux, médicaments et procédés pour lutter contre les changements climatiques. En tant que titulaire de la Chaire de recherche du Canada en informatique quantique, Matthew Amy entend comprendre les capacités de calcul et les applications réelles des ordinateurs quantiques et, ultimement, y accéder.
M. Amy et son équipe de recherche conçoivent et appliquent des méthodes mathématiques dans le but de créer des logiciels quantiques fiables, performants et réutilisables. Pour ce faire, ils font progresser les méthodes dans trois domaines : la spécification, la vérification et l’optimisation. À court terme, leurs travaux permettront aux scientifiques de faire des expériences avec les dispositifs quantiques disponibles et d’évaluer les avantages informatiques des dispositifs de l’avenir. À long terme, les leçons qu’ils tirent et les outils qu’ils conçoivent permettront la programmation d’ordinateurs quantiques universels à grande échelle.