< Retour au sommaire

Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages

Ugo Dal Lago le

Lieu: Salle 1073

Suivre en visio

Abstract

Quantum computing has the potential to revolutionize subfields of computer science such as cryptography and optimization by providing efficient solutions to problems currently considered intractable classically speaking. However, as is well known, today’s quantum hardware remains limited by noise, short coherence times, and low qubit counts, making the realization of this potential still a distant goal. In this context, estimating the resources required to execute quantum programs, such as the number of qubits and quantum gates, is of paramount importance. In this talk, we will provide an overview of the emerging research area of quantum resource analysis, beginning with an introduction to quantum programming languages, followed by a discussion of seve al approaches to resource analysis of quantum programs, without aiming for an exhaustive survey.