Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
circuit optimization
A Verified Optimizer for Quantum Circuits
We present voqc, the first verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are …
Kesha Hietala
,
Robert Rand
,
Liyi Li
,
Shih-Han Hung
,
Xiaodi Wu
,
Michael Hicks
Cite
DOI
URL
Cite
×