ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
Kesha Hietala
Latest
Q# as a Quantum Algorithmic Language
Expanding the VOQC Toolkit
Toward a Type-Theoretic Interpretation of Q#
Toward Formalizing the Q# Programming Language
Proving Quantum Programs Correct
A Verified Optimizer for Quantum Circuits
Cite
×