TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 24512

Quantum Software Engineering

( Dec 15 – Dec 20, 2024 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/24512

Organizers

Contact

Dagstuhl Seminar Wiki

Shared Documents

Schedule
  • Upload (Use personal credentials as created in DOOR to log in)

Motivation

Under the umbrella of quantum information theory, quantum-relevant algorithms have been proposed. In some cases, their relevance is due to the reduction of the order of complexity with respect to solutions in the classical world. In other cases, the relevance is due to the emergence of innovative solutions, such as obtaining more accurate predictions with less trained neural networks. The entry into the NISQ era with the development of the first quantum computers and simulators now makes it possible to test such algorithms on real computers. This raises new expectations and fosters a growing interest in quantum computing from both research and development.

Lessons learned from classical software engineering highlight that industry will only adopt quantum computing if quantum software can be developed with appropriate engineering procedures. Therefore, quantum software engineering (QSE) is already a necessity. The question arises whether everything learned in the last decades is still applicable in this new era. The interest in this question is evidenced by the growing number of small forums that are organized every year, mostly in the form of workshops associated with conferences such as Q-SE at ICSE, QSW at IEEE Services, or Q-SET at IEEE Quantum Week, to name but a few.

Although the papers presented in these forums cover very interesting specific aspects addressed by different research teams, a deeper reflection on the nature and scope of Quantum Software Engineering is needed. This reflection should address questions such as the differences between Classical and Quantum Software Engineering, which features of quantum software can and cannot be addressed with known classical techniques, which classical techniques should be extended or modified, and which new software engineering techniques should be developed to address quantum software from an engineering perspective.

After a first day dedicated to the topic "When Software Engineering meets Quantum Mechanics", this seminar proposes the following topics to discuss about as a warm start:

  • Quantum Software Design, Modelling, and Architecting
  • Quantum Software Quality Assurance
  • Adaptive Hybrid Quantum Systems

The main outcomes expected from the Dagstuhl Seminar on Quantum Software Engineering are twofold:

  1. On the one hand, creating a community of researchers with focus, not only in the specific problems that they are facing regarding building Hybrid Systems but also in the Quantum Software Engineering as a discipline and in which they are connected with different problems being addressed by different researchers.
  2. A roadmap of Quantum Software Engineering providing structure to the discipline and showing the different problems to be addressed in the field, how they connect with each other, the dependencies between them, the different research teams with interest in such problems and an agenda with milestones to be reached in the coming years regarding the development of the field.
Copyright Shaukat Ali, Johanna Barzen, Andrea Delgado, Hausi A. Müller, and Juan Manuel Murillo

Participants

Classification
  • Emerging Technologies
  • Information Theory
  • Software Engineering

Keywords
  • Quantum Software Design
  • Modelling
  • and Architecturing
  • Adaptive Hybrid Quantum Systems
  • Quantum Software Quality Assurance