Mingsheng YingMingsheng Ying is Distinguished Professor in the Centre for Quantum Software and Information, University of Technology Sydney; Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; and Cheung Kong Chair Professor in he Department of Computer Science and Technology, Tsinghua University. His research interests are quantum computing, programming theory, and logics in artificial intelligence. He is the author of the books Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001). Currently, he serves as (Co-)Editor-in-Chief of ACM Transactions on Quantum Computing. Read More Read Less
An OTP has been sent to your Registered Email Id:
Resend Verification Code
Hi! I'm Vidya, your virtual assistant.
Need a book recommendation, help with your order or support with any query? I’m here to assist you.
