删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

中国科学院软件研究所研究生导师简介-蒋 颖

软件研究所 免费考研网/2013-11-28


队伍建设
百人计划
杰出青年
人才招聘
科技副职



二、目前主要研究方向及简介
λ演算、类型论、证明论和程序设计语义学
三、学习经历
博士后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

相关话题/软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 中国科学院软件研究所研究生导师简介-苏璞睿
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络与系统安全三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张振峰
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事密码学理论与应用、安全协议的设计与分析等方面的研究工作。主持国家自然科学基金项目“高信度密码协议的设计与分析”、“密码协议的安全模型与可证明安全性研究”等项目,进行安全协议的设计与分析,密码系统安全模型的建立与可证明安全性研究 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-邓 勇
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介空间综合电子信息系统三、学习经历1996年国防科技大学电子学与信息系统工学学士;1999年国防科技大学信息与通信工程工学硕士;哈尔滨工业大学信息与通信工程博士生。四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-马恒太
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网与信息安全三、学习经历1991-1995武汉治金科技大学自动化系工学学士学位 计算机应用1995-1997武汉科技大学自动化系工学硕士学位 计算机应用1997-2001中国科学院软件研究所工学博士学位 计算机应用技术四、工作经 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑 刚
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网通信;网络信息安全;网络控制网络控制系统分析与设计;网络安全与信息安全;网络系统管理;混杂系统分析、控制和优化;故障诊断与容错控制;计算机仿真。与管理。三、学习经历2001.9——2004.7,中国科学院自动化研究所,控制理论 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-刘立祥
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络及其通信技术、网络计算技术三、学习经历2002/7毕业于上海交通大学,获得博士学位四、工作经历2003/2-2005/2中科院软件所博士后2005/3-至今中科院软件所综合信息系统国家重点实验室五、社会兼职六、研究成果与获奖情况主 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张金芳
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介地形分析,大地形可视化,虚拟现实。三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著"地形可视性分析"系统仿真学报,2005.8八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-彭启民
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介综合信息处理与集成:(1)图像处理与理解,包括图像及视频的预处理、目标检测、目标识别等;(2)模式识别与机器学习,包括特征提取,分类器设计等;(3)信息融合,包括多源多层信息的融合处理算法设计及系统集成。三、学习经历北京理工大学计算机 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-徐帆江
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑昌文
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介信息处理与集成、人工智能、计算机仿真三、学习经历2003.10-2005.5中国科学院软件研究所博士后1999.9-2003.9华中科技大学图像识别与人工智能研究所工学博士1996.9-1998.10华中理工大学经济学院经济学硕士19 ...
    软件研究所 免费考研网 2013-11-28