Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Project Repository Journal

Quantum computers are coming! But how to use their potential?

Robert Wille

Published Sep 10, 2021• 0 citations
Publisher

Abstract

Quantum computers are coming! But how to use their potential? Quantum computing is becoming a reality, but automated methods and software tools for this technology are just beginning. This project aims to develop automatic and efficient methods, e.g. for simulation, compilation, or verification of quantum circuits. DA QC will exploit design automation expertise proven powerful for conventional circuits and systems yet hardly utilised in quantum computing.

DOI
10.54050/prj022025

Related papers

Quantum Approaches to Logic Circuit Synthesis and Testing

John P. Hayes, Igor L. Markov

The overall objective of this project was to investigate quantum study computing concepts in an integrated way and apply design automation techniques, such as synthesis, simulation and testing, to quantum logic circuits via mathematical and algorithmic models implemented in software. The research considered the interplay between conventional and quantum logic design, aiming at a deeper understanding of both areas and provided extensive computational experimentation at scales uncommon in quantum computing research. The project s main accomplishments

•Jun 1, 2006•3 citations

Simulation and Design of Quantum Circuits

Alwin Zulehner, Robert Wille

Abstract Currently, there is an ongoing “race” to build the first practically useful quantum computer that provides substantial speed-ups for certain problems compared to conventional computers. In addition to the development of such devices, this also requires the development of automated tools and methods that provide assistance in the simulation and design of corresponding applications. Otherwise, a situation might be reached where we have powerful quantum computers but hardly any proper means to actually use them. This work provides an overview of corresponding solutions for the task of quantum circuit simulation, the task of quantum circuit design, as well as corresponding mapping tasks. The covered solutions utilise expertise on efficient data structures and algorithms gained in the design of conventional circuits and systems over the last decades. While the respective descriptions are kept brief and mainly convey the general ideas, references to further readings are provided for a more detailed treatment.

Lecture notes in computer science•Jan 1, 2020•9 citations

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing

Robert Wille, Lucas Berent, Tobias Forster +10 more

Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization) and with a long-term perspective (e.g., for cryptography or unstructured search) are currently being investigated. However, designing and realizing potential applications for these devices in a scalable fashion requires automated, efficient, and user-friendly software tools that cater to the needs of end users, engineers, and physicists at every level of the entire quantum software stack. Many of the problems to be tackled in that regard are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades.The Munich Quantum Toolkit (MQT) is a collection of software tools for quantum computing developed by the Chair for Design Automation at the Technical University of Munich which explicitly utilizes this design automation expertise. Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their applications, efficient methods for the classical simulation, compilation, and verification of quantum circuits, tools for quantum error correction, support for physical design, and more. These methods are supported by corresponding data structures (such as decision diagrams or the ZX-calculus) and core methods (such as SAT encodings/solvers). All of the developed tools are available as open-source implementations and are hosted on github.com/cda-tum.Note: A live version of this document is available at mqt.readthedocs.io.

arXiv:2405.17543•IEEE International Conference on Quantum Software (QSW)•Jul 7, 2024•51 citations

Quantum Software and Its Engineering [Focus: Guest Editors’ Introduction]

Michael Epping, Michael Felderer, Vlad Gheorghiu +1 more

Quantum computing (QC) is gaining considerable attention from industry and academia alike. It has been making great progress in recent years, and quantum computers are increasingly available to a larger community. It is foreseeable that the technology will become established for specific use cases in optimization, machine learning (ML), or material simulation.

IEEE Software•Aug 6, 2025•0 citations

JKQ

Robert Wille, Stefan Hillmich, Lukas Burgholzer

With quantum computers on the brink of practical applicability, there is a lively community that develops toolkits for the design of corresponding quantum circuits. Many of the problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ---a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.

•Nov 2, 2020•21 citations

Quantum Computing

Michael Nofer, Kevin Bauer, Oliver Fast Hinz +2 more

There are signs that we are approaching a technical revolution that might take humankind’s computational capabilities to a new level. Quantum Computing leverages the principles of quantum mechanics, enabling the computational power to solve specific problems currently intractable for classical computers (e.g., cracking cryptographic keys). Since we are getting to a point where we can no longer build smaller, more powerful, more efficient devices with conventional methodologies, we need to think of new ways for technological progress. The manufacturing of microchips is reaching its limits in the use of traditional architectures. Hence, new and more advanced technologies need to address the challenges of increasing energy consumption and data processing. Connectivity, scalable architectures and concepts like Cloud Computing and Software-as-a-Service have already helped to scale computational-intense applications in the last years and have attracted the interest of IS researchers (e.g., Benlian et al. 2009 ; Benlian et al. 2018 ; Messerschmidt and Hinz 2013 ). Looking ahead to the next generation, computing will comprise technologies that enable high-performance applications far beyond today’s possibilities. One prominent example with a disruptive potential is Quantum Computing. While there are abundant open questions and directions for further developments, researchers in this area have made substantial progress in the last decade, indicating that, after medical imaging, lasers, and superconductors, another quantum-technological innovation might be approaching. We, therefore, intend to provide an overview of the current state of Quantum Computing research and outline how this new technology might stimulate research in Information Systems.

Business & Information Systems Engineering•Jul 17, 2023•26 citations
Quantum computers are coming! But how to use their potential? Quantum computing is becoming a reality, but automated methods and software tools for this technology are just beginning. This project aims to develop automatic and efficient methods, e.g. for simulation, compilation, or verification of quantum circuits. DA QC will exploit design automation expertise proven powerful for conventional circuits and systems yet hardly utilised in quantum computing.
The overall objective of this project was to investigate quantum study computing concepts in an integrated way and apply design automation techniques, such as synthesis, simulation and testing, to quantum logic circuits via mathematical and algorithmic models implemented in software. The research considered the interplay between conventional and quantum logic design, aiming at a deeper understanding of both areas and provided extensive computational experimentation at scales uncommon in quantum computing research. The project s main accomplishments
Abstract Currently, there is an ongoing “race” to build the first practically useful quantum computer that provides substantial speed-ups for certain problems compared to conventional computers. In addition to the development of such devices, this also requires the development of automated tools and methods that provide assistance in the simulation and design of corresponding applications. Otherwise, a situation might be reached where we have powerful quantum computers but hardly any proper means to actually use them. This work provides an overview of corresponding solutions for the task of quantum circuit simulation, the task of quantum circuit design, as well as corresponding mapping tasks. The covered solutions utilise expertise on efficient data structures and algorithms gained in the design of conventional circuits and systems over the last decades. While the respective descriptions are kept brief and mainly convey the general ideas, references to further readings are provided for a more detailed treatment.
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization) and with a long-term perspective (e.g., for cryptography or unstructured search) are currently being investigated. However, designing and realizing potential applications for these devices in a scalable fashion requires automated, efficient, and user-friendly software tools that cater to the needs of end users, engineers, and physicists at every level of the entire quantum software stack. Many of the problems to be tackled in that regard are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades.The Munich Quantum Toolkit (MQT) is a collection of software tools for quantum computing developed by the Chair for Design Automation at the Technical University of Munich which explicitly utilizes this design automation expertise. Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their applications, efficient methods for the classical simulation, compilation, and verification of quantum circuits, tools for quantum error correction, support for physical design, and more. These methods are supported by corresponding data structures (such as decision diagrams or the ZX-calculus) and core methods (such as SAT encodings/solvers). All of the developed tools are available as open-source implementations and are hosted on github.com/cda-tum.Note: A live version of this document is available at mqt.readthedocs.io.
With quantum computers on the brink of practical applicability, there is a lively community that develops toolkits for the design of corresponding quantum circuits. Many of the problems to be tackled here are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. In this paper, we present JKQ---a set of tools for quantum computing developed at the Johannes Kepler University (JKU) Linz which utilizes this design automation expertise. By this, we offer complementary approaches for many design problems in quantum computing such as simulation, compilation, or verification. In the following, we provide an introduction of the tools for potential users who would like to work with them as well as potential developers aiming to extend them.
There are signs that we are approaching a technical revolution that might take humankind’s computational capabilities to a new level. Quantum Computing leverages the principles of quantum mechanics, enabling the computational power to solve specific problems currently intractable for classical computers (e.g., cracking cryptographic keys). Since we are getting to a point where we can no longer build smaller, more powerful, more efficient devices with conventional methodologies, we need to think of new ways for technological progress. The manufacturing of microchips is reaching its limits in the use of traditional architectures. Hence, new and more advanced technologies need to address the challenges of increasing energy consumption and data processing. Connectivity, scalable architectures and concepts like Cloud Computing and Software-as-a-Service have already helped to scale computational-intense applications in the last years and have attracted the interest of IS researchers (e.g., Benlian et al. 2009 ; Benlian et al. 2018 ; Messerschmidt and Hinz 2013 ). Looking ahead to the next generation, computing will comprise technologies that enable high-performance applications far beyond today’s possibilities. One prominent example with a disruptive potential is Quantum Computing. While there are abundant open questions and directions for further developments, researchers in this area have made substantial progress in the last decade, indicating that, after medical imaging, lasers, and superconductors, another quantum-technological innovation might be approaching. We, therefore, intend to provide an overview of the current state of Quantum Computing research and outline how this new technology might stimulate research in Information Systems.