Registered user since Wed 13 Nov 2019

Name:Junyi Liu
Affiliation:State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China

Contributions

POPL 2023 CoqQ: Foundational Verification of Quantum Programs
Show activities from other conferences

POPL 2023-profile
View general profile