Design Automation for Quantum Computing

Quantum technologies offer promising advantages over classical counterparts in a variety of tasks, including faster computation, secure communication, and high-precision sensors. This tutorial will provide a comprehensive overview of both fundamental concepts and recent advances in design automation of quantum computing. This tutorial will consist of three parts. The first part will describe the fundamentals of quantum computing from the perspective of computer scientists and computer engineers. The second part will describe design automation tools and flows to enable robust quantum computing. It will discuss various quantum algorithms as well as automated methods to map these algorithms on quantum computers. Specifically, it will cover specification languages, quantum compilation, control generation, quantum state preparation, quantum error correction, quantum machine learning, quantum measurement, as well as validation of quantum systems. Finally, it will outline the importance of noise modeling and mitigation methods in today's noisy intermediate scale quantum computers.