معرفی
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.
۰مقاله منتشرشده
