基本信息
所在部門： 計(jì)算機(jī)科學(xué)國家重點(diǎn)實(shí)驗(yàn)室
主要研究方向及簡介：λ演算、類型論、證明論和程序設(shè)計(jì)語義學(xué)
主持/參與過的項(xiàng)目：
1. 包封法及推理系統(tǒng)的可判定性，國家自然科學(xué)基金面上, 負(fù)責(zé)，2004 - 2006
2. 擴(kuò)展語義數(shù)據(jù)類型，國家自然科學(xué)基金面上, 負(fù)責(zé)， 2001 - 2003
3. 程序設(shè)計(jì)基礎(chǔ)，科技部中法合作,中方負(fù)責(zé)人，2001 - 2003
4. 軟件形式化方法，創(chuàng)新群體，參加 (負(fù)責(zé)人:林惠民)，2005 - 2007
5. 知識通信的數(shù)學(xué)模型研究，基金委重大項(xiàng)目子課題, 參加(負(fù)責(zé)人:柳欣欣),04-07
學(xué)習(xí)經(jīng)歷
博士后 計(jì)算機(jī)科學(xué)與技術(shù)，中國科學(xué)院軟件研究所，1994―1996、
碩士，博士，博士后邏輯與計(jì)算機(jī)科學(xué)基礎(chǔ)，法國巴黎第七大學(xué)數(shù)學(xué)系―法國國家科研中心753實(shí)驗(yàn)室， 1988―1997
工作經(jīng)歷
中科院軟件所計(jì)算機(jī)科學(xué)國家重點(diǎn)實(shí)驗(yàn)室研究員
社會兼職
《數(shù)學(xué)進(jìn)展》編委
《Mathematical Reviews》評論員
中科院研究生院教授, 2005.9-2008.8