Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit

Author:   Lukas Burgholzer ,  Robert Wille
Publisher:   Springer Nature Switzerland AG
ISBN:  

9783032067692


Pages:   204
Publication Date:   03 May 2026
Format:   Hardback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $116.41 Quantity:  
Pre-Order

Share |

Design Automation Tools and Software for Quantum Computing: Inside the Munich Quantum Toolkit


Overview

This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits and applications. The authors describe methods and software for quantum computing that utilize explicitly core data structures (such as decision diagrams) or methods (such as dedicated reasoning engines), while focusing on three major design tasks in quantum software development, namely classical simulation of quantum circuits, compilation of quantum circuits, and verification of quantum circuits. All tools and software solutions discussed in this book are made available as open-source packages and constitute the backbone of the Munich Quantum Toolkit.

Full Product Details

Author:   Lukas Burgholzer ,  Robert Wille
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032067692


ISBN 10:   3032067693
Pages:   204
Publication Date:   03 May 2026
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Forthcoming
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

Introduction.- Quantum Computing.- The Basis of Design Tools for Qµantum Computing.- Hybrid Schrodinger-Feynman Simulation of Quantum Circuits with Decision Diagrams.- Simulation Paths for Qµantum Circuit Simulation with Decision Diagrams.

Reviews

Author Information

Lukas Burgholzer works as a research scientist at the Technical University of Munich in the Chair for Design Automation of Robert Wille and as CTO of the Munich Quantum Software Company (MQSC). He received his PhD from JKU Linz, Austria, in 2023 working as part of the Institute for Integrated Circuits as well as the LIT Secure and Correct Systems Lab. His research focuses on design automation tools and software for quantum computing. In these areas, he has published more than 60 papers in international conferences and journals. He is the chief developer of the Munich Quantum Toolkit (MQT) as well as one of the technical leads of the Munich Quantum Software Stack (MQSS) project, which is developed as part of the Munich Quantum Valley (MQV) initiative. For his research, he was awarded the EDAA Outstanding Dissertation Award, the Heinz Zemanek Prize, and more. Robert Wille is a Full and Distinguished Professor at the Technical University of Munich, CEO of the Munich Quantum Software Company (MQSC), and Scientific Director at the Software Competence Center Hagenberg. He received his Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in 2006 and 2009, respectively. His academic journey has included positions at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Sciences Bremen, the University of Potsdam, and the Technical University Dresden. From 2015 to 2022, he worked as a Full Professor at the Johannes Kepler University Linz before moving to Munich. His research focuses on the design of circuits and systems for both conventional and emerging technologies. For over 15 years, he has been actively advancing the field of quantum computing—establishing foundational software and design automation concepts. His contributions have earned numerous accolades, including Best Paper Awards, the DAC Under-40 Innovator Award, a Google Research Award, an ERC Consolidator Grant, and more. He collaborates with leading academic and industrial partners and plays a key role in initiatives such as the Munich Quantum Valley. He has published over 400 papers and serves on editorial boards and numerous boards of major journals and conferences. Through his roles in companies, he is also deeply engaged in technology transfer from research to practice.

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

April RG 26_2

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List