蔣穎

所在部門： 計算機科學國家重點實驗室

主要研究方向及簡介：λ演算、類型論、證明論和程序設計語義學

主持/參與過的項目：

1. 包封法及推理系統的可判定性，國家自然科學基金面上, 負責，2004 - 2006

2. 擴展語義數據類型，國家自然科學基金面上, 負責， 2001 - 2003

3. 程序設計基礎，科技部中法合作,中方負責人，2001 - 2003

4. 軟件形式化方法，創新羣體，參加 (負責人:林惠民)，2005 - 2007

5. 知識通信的數學模型研究，基金委重大項目子課題, 參加(負責人:柳欣欣),04-07 ^[1] 

博士後 計算機科學與技術，中國科學院軟件研究所，1994―1996、

碩士，博士，博士後邏輯與計算機科學基礎，法國巴黎第七大學數學系―法國國家科研中心753實驗室， 1988―1997 ^[1] 

中科院軟件所計算機科學國家重點實驗室研究員 ^[1] 

《數學進展》編委

《Mathematical Reviews》評論員

中科院研究生院教授, 2005.9-2008.8 ^[1]