Ying Mingsheng

Mingsheng Ying was born in Jiangxi, in 1964. He graduated from the Department of Mathematics, Fuzhou Teachers College, in 1981. He is currently Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, and Chairman of the Association of Fuzzy Systems and Mathematics of China. He is in the Editorial Board of Fuzzy Sets and Systems. His research interests include semantics of programming, logic in computer science and artificial intelligence, quantum computation, and fuzzy logic. He has published more than 60 papers in various journals, e.g., Journal of Symbolic Logic, Theoretical Computer Science, Artificial Intelligence, IEEE Transactions on Fuzzy Systems. He also published a research monograph Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Springer-Verlag, New York, 2001).


Email:yingmsh@mail.tsinghua.edu.cn