Back
Towards Zero-Defect Quantum Programs
The project will develop methods for statically analysing programs intended for near-term quantum computers by combining techniques from the verification of probabilistic programs and the verification of quantum programs. This shall enable developers on quantum hardware to drastically reduce the amount of testing and simulation required, and to detect errors early in the program design and to understand them more easily, thus streamlining the software development process and significantly reducing testing and simulation costs. A particular focus will be on near-term systems with realistic error models (NISQ), and on use-cases from practice.
Field of action:
Quantum Computing
- Faculty 1 – Mathematics, Computer Science and Natural Sciences
Address:
Computer Sciences 2: Software Modeling and Verification, Room 4201, Ahornstraße 55, D-52074 Aachen
Contact:
Prof. Dr.-Ir. Dr.-h.c. Joost-Pieter Katoen
katoen@cs.rwth-aachen.de
Homepage:
https://moves.rwth-aachen.de/people/katoen/
Status:
running