Browsing Theses by Subject "Quantum circuits"
Now showing items 1-2 of 2
-
Algorithms for the Optimization of Quantum Circuits
(University of Waterloo, 2013-08-30)This thesis investigates techniques for the automated optimization of quantum circuits. In the first part we develop an exponential time algorithm for synthesizing minimal depth quantum circuits. We combine this with ... -
Formal Methods in Quantum Circuit Design
(University of Waterloo, 2019-02-26)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ...