Regular biography
Mingsheng YING is a Professor in the Department of Computer Science and Technology at Tsinghua University. He joined the department in 1992 and holds the title of Full Professor. His research interests include Quantum Computation, Semantics of Programming Languages, and Logics in AI. He has contributed to the development of Floyd-Hoare logic for quantum programs and introduced topology in process algebras to describe approximate correctness in concurrent systems. YING has authored numerous publications in top-tier journals and conferences, including the IEEE Transactions on Computers, Artificial Intelligence, and Theoretical Computer Science. His work has been recognized with several awards, including the National Natural Sciences Award and the China Association of Science and Technology Young Scientists Award.
Scholar-generated biography
Mingsheng Ying is a researcher specializing in semantics of programming languages, quantum computation and quantum information, and logics in AI. His work explores foundational aspects of quantum programming, including formal verification of quantum algorithms using quantum Hoare logic and the development of Floyd-Hoare logic for quantum programs. He has also contributed to fuzzy logic and soft computing, with publications on fuzzy topology and approximate reasoning. His research includes quantum information theory, such as the distinguishability of quantum states and operations, and the use of logical frameworks for quantum computation. Ying's work bridges theoretical computer science and quantum information science, focusing on logical and semantic models for quantum systems.