Mingsheng Ying

Registered user since Wed 18 May 2022

Name:Mingsheng Ying
Affiliation:University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University

Contributions

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

Using general profile