ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Shih-Han Hung
Latest
Proving Quantum Programs Correct
A Verified Optimizer for Quantum Circuits
Cite
×