Charles Yuan

Latest

• Tower: Data Structures in Quantum Superposition
• Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs