ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Michael Hicks
Latest
Qunity: A Unified Language for Quantum and Classical Computing
Expanding the VOQC Toolkit
Proving Quantum Programs Correct
A Verified Optimizer for Quantum Circuits
Cite
×