Browsing Computer Science by Author "Amy, Matthew"
Now showing items 1-2 of 2
-
Algorithms for the Optimization of Quantum Circuits
Amy, Matthew (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
Amy, Matthew (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 ...