蔣穎

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

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

主持/參與過的項目：

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

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

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

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

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

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

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

中科院軟體所計算機科學國家重點實驗室研究員

《數學進展》編委

《Mathematical Reviews》評論員

中科院研究生院教授, 2005.9-2008.8