Yuxin Deng -

Registered user since Mon 11 Nov 2019

Name:Yuxin Deng

Country:China

Affiliation:Shanghai University of Finance and Economics

Personal website: https://scai.sufe.edu.cn/dyx/

Research interests:Formal methods, quantum computing

Contributions

2024

VMCAI

Author of Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs within the VMCAI 2024-track

2020

POPL

Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track

PLanQC

Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track