Kesha Hietala

Latest

• Q# as a Quantum Algorithmic Language
• Verified Compilation of Quantum Oracles
• A Verified Software Toolchain For Quantum Programming
• A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
• Proving Quantum Programs Correct
• Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
• A Verified Optimizer for Quantum Circuits
• Formal Verification vs. Quantum Uncertainty