馮元

理學學士 (應用數學), 清華大學, 中國, 1999;

工學碩士 (理論計算機科學), 清華大學, 中國, 2001;

工學博士 (理論計算機科學), 清華大學, 中國, 2004. ^[1] 

量子計算與量子信息論

分佈式量子計算與量子併發理論

量子程序設計理論 ^[1] 

自2002年以來一直從事量子計算與量子信息方面的研究，在量子進程代數、量子程序理論、量子狀態/操作分辨、量子糾纏轉化等方面做出了一定貢獻，至今已在IEEE Trans. on Information Theory、IEEE Trans. on Computers、ACM Trans. on Computational Logic、Physical Review Letters、Information and Computation、Theoretical Computer Science等國際重要學術期刊上合作發表論文40餘篇。根據Web of Science的數據，研究工作累計已經被SCI引用超過180次。主要學術貢獻簡述如下：

1. 在量子進程代數領域，提出了一種形式化描述分佈式量子計算和量子通信協議的理論框架，該框架基於經典傳值CCS，並增添了描述量子系統輸入輸出、量子變換和測量的原語。還定義了量子進程間的概率強/弱互模擬關係，並詳細考察其各種性質。這部分工作發表於計算機科學領域權威雜誌Information and Computation，審稿人評價該工作“着眼於量子計算機科學的前沿課題，提出了很多有趣的、原創的、有價值的想法”。

2. 在量子程序設計理論領域，提出了一種只包含量子數據的純量子語言，可用於描述未來量子計算機的量子數據處理部分。應用加拿大學者D'Hondt與Panangaden提出的量子最弱前置條件的概念，研究了該純量子語言下程序的正確性，發現了一組證明規則，並論證了這些證明規則的完備性，即任何純量子程序的正確性都可以通過有限次利用這些規則進行證明。這部分工作發表於理論計算機科學領域權威雜誌Theoretical Computer Science。 ^[1] 

國家自然科學基金重點項目: 量子軟件的理論與方法 (2008-2011);

全國優秀博士學位論文專項基金: 量子程序設計理論研究 (2007–2011);

國家自然科學基金青年基金項目: 糾纏輔助的量子通信網絡 (2006-2008);

863課題: 量子計算模型研究 (2006-2008);

國家自然科學基金重點項目: 量子計算算法編碼與過程控制研究 (2005-2008);

國家自然科學基金創新羣體項目: 智能信息處理的理論與方法 (2004-2009). ^[1] 

Okawa 基礎研究基金 (2008);

全國百篇優秀博士論文獎 (2006). ^[1] 

[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. ^[1]