ProfMingsheng Ying

Professor Mingsheng Ying is internationally recognised for his distinctive scientific contributions and professional affiliations within the quantum computing community. He holds the position of Distinguished Professor at the UTS Centre for Quantum Software and Information, where he specialises in quantum programming and verification.

Professor Ying's research interests span quantum computation, programming language theory, and the foundations of artificial intelligence. He serves as Co-Editor-in-Chief of ACM Transactions on Quantum Computing (TQC) and has previously held editorial roles with several leading publications, including the Artificial Intelligence Journal.

Professor Ying has authored numerous papers published in top-tier international journals and conferences. 
He is also the author of three books:

• Foundations of Quantum Programming (Elsevier–Morgan Kaufmann, 2016; 2nd ed. 2024)
• Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Springer-Verlag, 2001)
• Model Checking Quantum Systems: Principles and Algorithms (Cambridge University Press, 2021)
  
  

He graduated from the Department of Mathematics at Fuzhou Teachers College, Jiangxi, China, in 1981. His accolades include the NSF China Distinguished Young Scholar Award (1997) and the China National Science Award (Natural Science) in 2008.