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

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

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


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



二、目前主要研究方向及简介
计算理论
三、学习经历
1980-1984BA,DepartmentofMathematics,YUNNANNormalUniversity,CHINA
1985-1988M.Sc.,DepartmentofMathematics,YUNNANNormalUniversity;
     MasterofScienceinChineseAcademyofSciences
1990-1993PH.D,InstituteofSoftware,ChineseAcademyofSciences
Jan.1998-Jan.1999VisitingFellow,SchoolofMathematics,UniversityofLeeds,UK
四、工作经历
1984-1985TeachingAssistant,YunnanNormalUniversity
1988-1990AssistantProfessor,YunnanNormalUniversity
1993-1996AssistantProfessor,InstituteofSoftware,AcademiaSinica
1996-1999AssociateProfessor,InstituteofSoftware,AcademiaSinica
1999--  FullProfessor,InstituteofSoftware,ChineseAcademyofSciences
2000,Mar.--2002,Feb.,ResearchFellow,UniversityofLeeds,UK.

五、社会兼职

六、研究成果与获奖情况

七、代表论著
MajorPublications:
Strongdecompositiontheoremoftherecursivelyenumerabledegrees(inChinese),ActaMath.Sinica,1992,35(2):251.
Adecompositiontheoremof0',ScienceinChina,No.10,1992(inchinese)andNo.6,1993
Aresultaboutthepseudojumpoperators,Bull.ofChineseSciences,No.21,1992
Cuppingtherecursivelyenumerabledegreesbyd.r.e.degrees(withX.Yi),ProceedingsofLondonMathematicalSociety,378(1999),1-21.
ComputabilityTheory(inchinese,withD.Yang),SciencePress,Beijing,1999.
Ahighdiamondtheorem,(withD.Yang),JournalofSoftware,2000,11(1):23--39.
Boundingcappabledegrees,ArchiveforMathematicalLogic,(2000)39:311--352.
OnaConjectureofLempp,ArchiveforMathematicalLogic,(2000)39:281--309.
Ahierarchyforcuppabledegrees,IllinoisJournalofMathematics,Vol.44,No.3,2000,619--632.(withWuandZhang).
Thereisnolowmaximald.c.e.degrees,Math.Log.Quart.46(2000)3,409--416.(withArslanovandCooper)
Definablerelationsonthecomputablyenumerabledegrees,inComputabilityandModels(eds.CooperandGoncharov),KluwerAcademic/Plenum,2002.
OnthedistributionofLachlannonsplittingbases,ArchiveforMath.Logic,41,455--482(2002).(withCooperandYi)
Non-uniformityandgeneralisedSackssplitting,ActaMath.Sinica,2002.(withCooper)
Splittingandconeavoidanceinthed.c.e.degrees,toappearinScienceinCHINA,2002.(withCooper)
TuringdefinabilityintheErshovhierarchy,JournalofLondonMathematicalSociety,toappear.(withCooper)
SplittingandNonsplitting,II:ArmLow_2ComputablyEnumerableDegreesAboveWhich0'IsNotSplittable,JournalofSymbolicLogic,toappear.(withS.B.Cooper)

ConferenceTalk:
Onehour,InternationalConferenceonMath.LogicandApplicationsdedicatedtoA.I.Mal'tsevandthe275thAnniversaryoftheRussianAcademyofSciences,Novosibirsk,Aug.10--15,1999.
45minuites,InternationalConferenceonMathematicalLogic--SatelliteConferenceofICMBeijing2002,andthe8thAsianLogicConference,Chongqing,Aug.28--Sept.3,2002.
15minuites,StructuralThreoryoftheComputablyEnumerableTuringDegrees,
ICM2002,Beijing,20--28,Aug.

八、承担项目

相关话题/软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后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