Runzhou Tao -

Registered user since Wed 10 Mar 2021

Name:Runzhou Tao

Country:United States

Affiliation:Columbia University

Contributions

PLDI 2022	Author of Giallar: Push-button Verification for the Qiskit Quantum Compiler within the PLDI-track
PLDI 2021	Author of Gleipnir: Toward Practical Error Analysis for Quantum Programs within the PLDI-track