Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Youngchan Cho
conf.researchr.org general profile
POPL 2026 profile
Registered user since Fri 18 Jun 2021
Name:
Youngchan Cho
Contributions
2026
VMCAI
Author of Efficiently Verifying Quantum Programs with Few T Gates within the VMCAI 2026-track
Share
x
Sat 14 Mar 02:56