Matthew Amy

Latest

• staq -- A full-stack quantum processing toolkit
• Sized Types for Low-Level Quantum Metaprogramming
• Formal Methods in Quantum Circuit Design
• Towards Large-Scale Functional Verification of Universal Quantum Circuits