Synthesis of reliable quantum circuits

In the project the synthesis of quantum circuits is improved. Furthermore the reliablity of quantum circuits is ensured by methods known from verification and test.

Contact: Prof. Dr. Rolf Drechsler

Detailed description is only available in german.