Not registered as user yet

Name: Mingsheng Ying

Affiliation: University of Technology Sydney

POPL 2018 Activities

• Author of Algorithmic Analysis of Termination Problems for Quantum Programs within the Research Papers-track in POPL 2018
• Show activities from other conferences