Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
2
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
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if …
Yuxiang Peng
,
Kesha Hietala
,
Runzhou Tao
,
Liyi Li
,
Robert Rand
,
Michael Hicks
,
Xiaodi Wu
Cite
Code
DOI
arXiv
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
Giovanni De Micheli
,
Jie-Hong R. Jiang
,
Robert Rand
,
Kaitlin Smith
,
Mathias Soeken
PDF
Cite
DOI
Ordered direct implicational basis of a finite closure system
Kira Adaricheva
,
James B Nation
,
Robert Rand
PDF
Cite
Cite
×