Kengo Hirata

Kengo Hirata kengohirata

Ph.D. student

Organizations

2 results for Programming Languages

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Y. Matsushita , K. Hirata , R. Wakizaka , E. D'Osualdo
POPL 2026
Programming Languages Quantum Separation Logic Published Thu, 15 Jan 2026 00:00:00 +0000
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
K. Hirata , C. Heunen
POPL 2025
Programming Languages Quantum Type Systems Published Wed, 15 Jan 2025 00:00:00 +0000