Registered user since Wed 10 Mar 2021

Name:Runzhou Tao
Country:United States
Affiliation:Columbia University

Contributions

PLDI 2022 Giallar: Push-button Verification for the Qiskit Quantum Compiler
Show activities from other conferences

Using general profile