Yuan Feng

Yuan Feng is a Professor in the Department of Computer Science and Technology at Tsinghua University. His research focuses on model checking quantum systems, quantum program verification, and quantum communicating systems. He has contributed to the development of quantum Markov chain models and formal verification techniques for quantum programs, including the establishment of Hoare logic for quantum programs and the verification of the Shor algorithm. He has also proposed quantum process algebra qCCS and advanced bisimulation theories for quantum processes. His work has been published in top-tier journals and conferences, including Cambridge University Press and ACM Transactions. His email is yuan_feng@tsinghua.edu.cn, and his profile page is available at https://www.cs.tsinghua.edu.cn/csen/info/1312/4483.htm.

Yuan Feng is a researcher at Tsinghua University with expertise in quantum programming theory, program verification, and quantum information theory. Their work focuses on the theoretical foundations of quantum computing, including the verification of quantum programs, the distinguishability of quantum states, and the characterization of quantum operations. They have published extensively on topics such as parameter estimation of quantum channels, entanglement in quantum discrimination, and the use of tensor networks for quantum circuit representation. Their research contributes to the development of formal methods for quantum systems and the understanding of quantum information processing.