蔣穎，女，任中科院軟體所計算機科學研究員，學歷博士後 計算機科學與技術，中國科學院軟體研究所，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
