馮元[清華大學計算機科學與技術系研究員]

馮元，男，漢族。博士，清華大學計算機科學與技術系副研究員。

人物簡介

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

馮元[清華大學計算機科學與技術系研究員]

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

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

研究領域

量子計算與量子資訊理論

分散式量子計算與量子並發理論

量子程式設計理論

研究概況

自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。

研究課題

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

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

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

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

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

國家自然科學基金創新群體項目: 智慧型信息處理的理論與方法 (2004-2009).

獎勵與榮譽

Okawa 基礎研究基金 (2008);

全國百篇優秀博士論文獎 (2006).

學術成果

[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.