Bereiche | Tage | Auswahl | Suche | Aktualisierungen | Downloads | Hilfe

QI: Fachverband Quanteninformation

QI 8: Quantum Computing Theory I

QI 8.1: Hauptvortrag

Montag, 10. März 2025, 17:00–17:30, HS IV

Quantum Informatics - From Quantum Gates to Quantum Software Engineering — •Ina Schaefer — KIT, Karlsruhe, Germany

While quantum computing hardware is becoming more and more available, the demand for quantum software is also increasing. As in classical computing, the expectation is that after quantum computing hardware has reached a certain maturity, the main value creation in quantum computing will be obtained from quantum software. In order to facilitate the use of quantum computing to solve industrial-scale applications, advances in quantum informatics, and especially in quantum software engineering are needed.

In this presentation, I will explore the relationship between quantum computing and classical software engineering by focusing on three main aspects. First, I will show what can be learnt from classical programming language and compiler technology for the implementation of quantum programming languages. Second, for scaling the development of quantum programs, I will present first results on design patterns for quantum programming. Third, in order to ensure correctness of quantum programs, I will focus on verification techniques and correctness-by-construction development for quantum programs.

Keywords: Quantum Informatics; Quantum Software Engineering; Quantum Programming Languages; Quantum by Construction