2

A Verified Optimizer for Quantum Circuits
A formally certified end-to-end implementation of Shor’s factorization algorithm
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective