Education background
Bachelor of Applied Mathematics, Tsinghua University, Beijing, China, 1999;
Master of Computer Science, Tsinghua University, Beijing, China, 2001;
Ph.D. in Computer Science, Tsinghua University, Beijing, China, 2004.
Areas of Research Interests/ Research Projects
Theoretical Foundation of Quantum Computation, Distributed Quantum Computing and Quantum Concurrency Theory, Quantum Programming Languages, Quantum Information Theory
National Natural Science Foundation of China: Quantum Software: Theory and Methodology (2008-2011);
National Distinguished Doctoral Dissertation Foundation: Theory of Quantum Programming (2007-2011);
National Natural Science Foundation of China: Entanglement-Assisted Quantum Communication Network (2006-2008);
National 863 High-Tech Program: Quantum Computation Models (2006-2008);
National Natural Science Foundation of China: Encoding and Process Control in Quantum Algorithms (2005-2008);
National Natural Science Foundation of China: Intelligent Information Processing: Theory and Methodology (2004-2009).
Research Status
I have been working on quantum computing and quantum information theory for over eight years, and have made some significant contributions in the areas of quantum process algebra, quantum programming theory, quantum state/operation discrimination, and quantum entanglement transformation. I have co-authored nearly 40 research papers in top international journals such asIEEE Trans. on Information Theory,IEEE Trans. on Computers,ACM Trans. on Computational Logic,Physical Review Letters,Information and Computation,Theoretical Computer Science, etc. According toWeb of Science, my research has been cited more than 180 times by papers published on SCI-indexed journals. My main contributions are briefly stated as follows:
1.Quantum Process Algebra.I have proposed a value-passing CCS based framework to formally model and reason about distributed quantum computing and quantum communicating protocols. Notions of strong probabilistic bisimulation and weak probabilistic bisimulation between quantum processes were introduced, and their properties were intensively examined. This work has been published onInformation and Computation, one of the most highly respected journals in computer science. The reviewers noted that "the topics addressed by this paper belong to the moving frontier of quantum computer science, and they propose and defend a lot of interesting, original and valuable ideas". This paper was ranked No.2 of the quarterly "TOP 25 Hottest Articles" ofI&Cin 2007 (Oct.- Dec.), and was reviewed byMathematical Reviewsof the American Mathematical Society (MR2368643, reviewer: Simon J. Gay).
2.Quantum Programming Theory. I have proposed a pure quantum language where no classical data is involved, which can be used to describe the quantum data processing part of future quantum computers. Employing the notion of quantum weakest precondition proposed by D'Hondt and Panangaden, we analyze the correctness of quantum programs in this language. We presented a set of complete proof rules using which any correctness assertion can be proved. This work was published inTheoretical Computer Science, a leading journal in theoretical computer science. It was ranked as No. 7 of the quarterly "TOP 25 Hottest Articles" ofTCSin 2007 (Oct.-Dec.), and was reviewed byMathematical Reviewsof the American Mathematical Society (MR2351559. Reviewer: Robert S. Lubarsky).
Honors And Awards
Okawa Foundation Research Award (2008);
National Distinguished Doctoral Dissertation (2006).
Academic Achievement
[1] M. Ying and Y. Feng, Qunatum Loop Programs, Acta Informatica, vol. 47, no. 4, pp. 221-250, 2010.
[2] Y. Feng, R. Duan, and M. Ying, Locally undetermined states, generalized Schmidt decomposition, and an application in distributed computing, Quantum Information and Computation, vol. 9, pp. 997-1012, 2009.
[3] Y. Feng and Y. Shi, Characterizing locally distinguishable orthogonal product states, IEEE Transactions on Information Theory, vol. 55, no. 6, pp 2799-2806, 2009.
[4] R. Duan, Y. Feng and M. Ying. Perfect distinguishability of quantum operations. Physical Review Letters, vol. 103, no. 21, pp. 210501.1-210501.4, 2009.
[5] M. Ying and Y. Feng, An algebraic language for distributed quantum computing, IEEE Transactions on Computers, vol. 58, no. 6, pp. 728-743, 2009.
[6] M. Ying, Y. Feng, R. Duan and Z. Ji, An algebra of quantum processes, ACM Transactions on Computational Logic, vol. 10, no. 3, pp. 1-36, 2009.
[7] R. Duan, Y. Feng, X. Yu and M. Ying. Distinguishability of quantum states by separable operations. IEEE Transactions on Information Theory, vol. 55, no. 3, pp.1320-1330, 2009.
[8] Z. Ji, G. Wang, R. Duan, Y. Feng and M. Ying. Parameter estimation of quantum channels. IEEE Transactions on Information Theory, vol. 54, no. 11, pp. 5172-5185, 2008.
[9] R. Duan, Y. Feng and M. Ying. Local distinguishability of multipartite unitary operations. Physical Review Letters, vol. 100, no. 2, pp. 020503.1-020503.4, 2008.
[10] Y. Feng, R. Duan, Z. Ji and M. Ying, Proof rules for correctness of quantum programs, Theoretical Computer Science, vol. 386, no. 1-2, pp. 151-166, 2007.
[11] Y. Feng, R. Duan, Z. Ji and M. Ying, Probabilistic bisimulations for quantum processes, Information and Computation, vol. 205, no. 11, pp. 1608-1639, 2007.
[12] R. Duan, Y. Feng and M. Ying. Entanglement is not necessary for perfect discrimination between unitary operations. Physical Review Letters, vol. 98, no. 10, pp. 100503.1-100503.4, 2007.
[13] R. Duan, Y. Feng, Z. Ji and M. Ying. Distinguishing arbitrary multipartite basis unambiguously using local operations and classical communication. Physical Review Letters, vol. 98, no. 2, pp. 0230502.1-0230502.4, 2007.
[14] R. Duan, Y. Feng and M. Ying. Partial recovery of quantum entanglement. IEEE Transactions on Information Theory, vol. 52, no. 7, pp.3080-3104, 2006.
[15] Z. Ji, Y. Feng, R. Duan and M. Ying. Identification and distance measures of measurement apparatus. Physical Review Letters, vol. 96, no. 20, pp. 200401.1-200401. 4, 2006.
[16] Y. Feng, R. Duan and M. Ying. Catalyst-assisted probabilistic entanglement transformations. IEEE Transactions on Information Theory, vol. 51, no. 3, pp. 1090-1101, 2005.
