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.






