Kartik Singhal

Latest

• Q# as a Quantum Algorithmic Language
• Gottesman Types for Quantum Programs
• Quantum Hoare Type Theory: Extended Abstract
• Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
• Quantum Hoare Type Theory
• Verified translation between low-level quantum languages