Abstract
Quantum computers are based on the laws of quantum mechanics rather than Boolean logic; this implies very different algorithmic capabilities and, perhaps more surprisingly, very different issues across the board from software architecture to formal methods. In this talk I’ll give a broad overview of the current state of the art in 2022 and focus on some issues of current interest.