Ryo Wakizaka -

Registered user since Fri 6 Jan 2023

Name:Ryo Wakizaka

Country:Japan

Affiliation:Kyoto University

Research interests:Quantum Programming Languages, Verification, Compilation

Contributions

2024

APLAS

Author of Type-Based Verification of Connectivity Constraints in Lattice Surgery within the Research Papers-track

‹Programming›

Committee Member in Artifact Evaluation Committee within the Artifacts-track

2023

‹Programming›

Committee Member in Artifact Evaluation Committee within the Artifacts-track

QP

Author of Towards Reliable Distributed Quantum Computing on Quantum Interconnects within the QP2023-track