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

2025

PLanQC

Author of Concurrent Quantum Separation Logic for Fine-Grained Parallelism within the PLanQC 2025-track

TPSA

Author of Concurrent Quantum Separation Logic for Fine-Grained Parallelism within the TPSA 2025-track

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