Mingsheng Ying is a Distinguished Professor and Research Director of the Center for Quantum Software and Information at the University of Technology Sydney, Australia. He is also Deputy Director for Research (adjunct position) at the Institute of Software at the Chinese Academy of Sciences, and holds the Cheung Kong Chair Professorship at Tsinghua University, China. Ying was also the Director of the Scientific Committee of the National Key Laboratory of Intelligent Technology and Systems at Tsinghua University. His research interests include quantum computation, theory of programming languages, and logics in AI. He has published three books: Model Checking Quantum Systems: Principles and Algorithms (2021, with Yuan Feng), Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001).
Research Manuscript
Design Verification and Validation
Hosted in Virtual Platform