Mingsheng Ying

Professor Mingsheng Ying (University of Technology Sydney) is a Distinguished Professor specializing in quantum programming, quantum verification, and the foundations of artificial intelligence. He leads the Centre for Quantum Software and Information and co-founded the Quantum Lab. His work bridges quantum computation with formal methods and reasoning under uncertainty.

• Education: Mathematics, Fuzhou Teachers College (1981)

Research Interests

His research spans:

• Quantum programming languages and verification techniques
• Model checking quantum systems and cryptographic protocols
• Quantum machine learning robustness
• Entanglement theory and distributed quantum computation

Recent Publications

Key contributions include:

• Quantum error correction verification frameworks
• Quantum register machine architecture
• Hamiltonian simulation parallelization
• Symbolic execution for quantum debugging
• Robustness tools like VeriQR

Awards & Editorial Roles

• NSF China Distinguished Young Scholar Award (1997)
• China National Science Award (2008)
• Co-Editor-in-Chief, ACM Transactions on Quantum Computing
• Vice President, International Fuzzy Systems Association (2005)

Leadership & Grants

He oversees 14 active grants (2010–2029) from:

• Australian Research Council (ARC Discovery Projects)
• National Natural Science Foundation of China
• Sydney Quantum Academy
• Baidu Contract Research

His grants fund research in quantum program verification, entanglement classification, and distributed quantum protocols.