队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
λ演算、类型论、证明论和程序设计语义学
三、学习经历
博士后Logiqueetfondementdel’Informatique(逻辑与计算机科学基础)，法国巴黎第七大学数学系―法国国家科研中心753实验室，1996―1997
ComputationalLogic,MartoberorfInternationalSummerSchool,NATOScienceCommittee&Institutf？rInformatik,TechnischUniversitatM？nchen,1997
博士后计算机科学与技术，中国科学院软件研究所，1994―1996
博士Logiqueetfondementdel’Informatique(逻辑与计算机科学基础)，法国巴黎第七大学数学系―法国国家科研中心753实验室，1989―1993
硕士Logiqueetfondementdel’Informatique(逻辑与计算机科学基础)，法国巴黎第七大学数学系―法国国家科研中心753实验室，1988―1989
四、工作经历
中科院软件所计算机科学国家重点实验室研究员
五、社会兼职
MemberoftheAssociationforSymbolicLogicCommitteeonLogicinEastAsia,2006.1-2008.12《数学进展》编委
《MathematicalReviews》评论员
中科院研究生院教授,2005.9-2008.8
六、研究成果与获奖情况
主持/参与过的项目：
1.包封法及推理系统的可判定性，国家自然科学基金面上,负责，2004-2006
2.扩展语义数据类型，国家自然科学基金面上,负责，2001-2003
3.程序设计基础，科技部中法合作,中方负责人，2001-2003
4.软件形式化方法，创新群体，参加(负责人:林惠民)，2005-2007
5.知识通信的数学模型研究，基金委重大项目子课题,参加(负责人:柳欣欣),04-07
七、代表论著
1.G.Dowek,Y.Jiang,Eigenvariables,bracketingandthedecidabilityofpositiveminimalpredicatelogic,TheoreticalComputerScience,10.1016/j.tcs.2006.01.053
2.G.-Q.Zhang,Y.Jiang,OnanOpenProblemofAmadioandCurien:the
FiniteAntichainCondition,Informationandcomputation,Vol.202,pp.87-105,2005
3*.G.Dowek,Y.Jiang,Eigenvariables,bracketingandthedecidabilityof
positiveminimalintuitionisticlogic,ElectronicNotesinTheoreticalComputerScience,Vol.85No.7,2003
4.Y.Jiang,PositiveTypesinSystemF,LogicColloquium,Paris,2000
5.Y.Jiang,Isomorphismesbetweenthecoherentmodelsofthelambda-calculus,ScienceinChina,SeriesA,Vol.39,8,pp.785-798,1996
6.Y.Jiang,Consystencyandaxiomatizationofanaturalextensional
combinatorylogic,ScienceinChina,SeriesA,Vol.39,No.9，pp.897-908,
1996
7.X.Gouy,Y.Jiang,UniversalretractiononDI-domaines,Informationand
Computation,Vol.119,pp.252-257,1995
8.Y.Jiang,Consistencyofalambda-theorywithn-tuplesandeasyterm,
ArchiveforMathematicalLogic,Vol.34,pp.79-96,1995
9.Y.Jiang,Lasemantiquecontinuedulambda-calculetincompatibleavec
l'existenced’uneretractionuniverselle,C.R.Acad,Sci.Paris,Ser.1,314,pp.779-782,1992
八、承担项目
主持/参与过的项目：
1.包封法及推理系统的可判定性，国家自然科学基金面上,负责，2004-2006
2.扩展语义数据类型，国家自然科学基金面上,负责，2001-2003
3.程序设计基础，科技部中法合作,中方负责人，2001-2003
4.软件形式化方法，创新群体，参加(负责人:林惠民)，2005-2007
5.知识通信的数学模型研究，基金委重大项目子课题,参加(负责人:柳欣欣),04-07
