Quantum computers are fundamentally more efficient than classical computers at certain tasks, including prime factorization and the simulation of molecules. This provides an enormous potential advantage for applications such as drug design and optimization of sustainable supply chains. However, this potential can only be realized if we learn how to program a quantum computer, that is, design efficient quantum algorithms, verify and test quantum software, and compile it onto physical quantum platforms. Hence, quantum algorithms and software technology bridges the gap between quantum computers and applications.