Kesha Hietala

Latest

• A Verified Optimizer for Quantum Circuits
• A formally certified end-to-end implementation of Shor’s factorization algorithm
• Q# as a Quantum Algorithmic Language
• Q# as a Quantum Algorithmic Language
• Q*: Implementing Quantum Separation Logic in F*
• QuantumLib: A Library for Quantum Computing in Coq
• 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
• Tracking Errors through Types in Quantum Programs