人員組成
  

軟件所的量子程序項目組由應明生研究員領導,包含研究人員與學生十余人。

應明生,1964 年生,1981年畢業于江西師范學院撫州分院,曾在江西師范大學、南京航空航天大學任教,1992年任教授。1998年任清華大學計算機系教授,2002 任智能技術與系統國家重點實驗室學術委員會主任,2008 年任 University of Technology Sydney 杰出教授,2016年任中科院軟件所研究員、學術副所長。曾在法國巴黎第六(居里夫婦)大學、意大利Napoli大學、德國慕尼黑大學、芬蘭Turku計算機科學中心任訪問研究員、訪問教授、洪堡研究員等職。1997年獲國家杰出青年科學基金,2001年被聘為教育部長江學者特聘教授,2003年作為學術帶頭人獲國家自然科學基金優秀創新群體,2008 年獲國家自然科學二等獎(單獨), 2015 年入選國家千人計劃。曾任國際人工智能領域最主要刊物AIJ副主編,國際量子信息理論領域最主要會議QIP大會主席。

主要研究成果: 應明生早年在數理邏輯、軟件理論及人工智 能研究中做出重要貢獻。近年來,他主要從事量子計算與量子信息研究,是量子程序理論的主要創建者之一。特別地,他建立了量子程序的 Floyd-Hoare型邏輯,奠定了量子程序設計的邏輯基礎; 引入了量子程序分析與驗證的核心概念 —— 不變量; 發現了量子程序終止性分析的SDP算法; 開辟了量子系統的模型檢測領域。應明生在計算機科學頂級國際會議POPL、IJCAI等及刊物TOPLAS、AIJ等、物理學著名刊物PRL、數理邏輯最主要刊物JSL等發表一系列論文,應邀在Elsevier出版了國際上第一部量子程序理論著作。 

 

 

組員:

副研究員:朱雪陽、應圣鋼

助理研究員:李楊佳、陳世騰

博士后:官極、許兆偉

博士生:周立(清華大學)、李日靈(清華大學)、劉君毅、王啟圣(清華大學)、方望