Robert Rand

Latest

• Q# as a Quantum Algorithmic Language
• Qunity: A Unified Language for Quantum and Classical Computing
• A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
• A Quantum PL Pronunciation Guide
• Gottesman Types for Quantum Programs
• Proving Quantum Programs Correct
• Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
• A Verified Optimizer for Quantum Circuits
• Verified translation between low-level quantum languages
• Formal Verification vs. Quantum Uncertainty
• ReQWIRE: Reasoning about Reversible Quantum Circuits
• Formally Verified Quantum Programming
• QWIRE Practice: Formal Verification of Quantum Circuits in Coq
• Phantom Types for Quantum Programs
• QWIRE: A Core Language for Quantum Circuits
• Verification Logics for Quantum Programs