Ali Javadi-Abhari

Latest

• OpenQASM 3: A Broader and Deeper Quantum Assembly Language
• Giallar: Push-Button Verification for the Qiskit Quantum Compiler
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• Scaffold: Quantum Programming Language