蔣穎[中科院軟體所計算機科學研究員]

蔣穎，女，任中科院軟體所計算機科學研究員，學歷博士後 計算機科學與技術，中國科學院軟體研究所，1994―1996。

基本信息

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

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

主持/參與過的項目：

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