队伍建设
百人计划
杰出青年
人才招聘
科技副职
二、目前主要研究方向及简介
计算理论
三、学习经历
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.
八、承担项目
