李明树男博导软件研究所 近年来在国内外期刊和会议上先后发表和合作发表学术论文上百篇，获2005年度国家科技进步奖二等奖1项。指导和合作指导毕业博士、硕士数十人，其中4位获中国科学院院长奖学金。 招生专业 081202-计算机软件与理论 招生方向 操作系统深度设计，可信软件过程，基础软硬件核心技术与应用

教育背景 1987-09--1993-07哈尔滨工业大学计算机系获得工学博士学位 1983-09--1987-07北京轻工业学院（现北京工商大学）计算机应用专业获学士学位 工作简历 1997-11--今中国科学院软件研究所研究员 1995-07--1996-07英国爱丁堡大学信息学院博士后研究工作 1995-03--1997-11中国科学院软件研究所副研究员 1993-07--1995-03中国科学院软件研究所博士后工作 奖励信息 （1）软件需求演化建模方法及管理系统，二等奖，省级，2011 （2）软件过程服务技术及集成管理系统，二等奖，国家级，2005 专利成果 （1）一种预测软件过程执行时间的方法,发明,2009,第1作者,专利号:ZL200910083708.7 （2）一种自动识别需求依赖关系的方法,发明,2008,第1作者,专利号:ZL200810117633.5 （3）一种软件缺陷报告分流方法及系统,发明,2011,第1作者,专利号:ZL200910091681.6 （4）一种针对返工预测软件开发成本和执行时间的方法,发明,2014,第5作者,专利号:CN102103501B （5）一种面向海云协同网络计算环境的数据组织方法,发明,2017,第3作者,专利号:ZL201410081199.5 （6）一种基于大数据的面向个人的应急引导方法及系统,发明,2017,第5作者,专利号:ZL201410080897.3 （7）LPC2468-BASEDMVB-WTBGATEWAYANDWORKINGMETHODTHEREOF（基于LPC2468的MVB-WTB网关及其工作方法）,发明,2017,第2作者,专利号:US9，565，270，B2 （8）picoblaze-BASEDMVBcontroller（一种基于PicoBlaze的MVB控制器）,发明,2017,第1作者,专利号:US9，563，589，B3 科研项目 （1）安全可靠桌面计算机操作系统，参与，国家级，2014-01--2018-12 （2）开源操作系统内核分析和安全性评估，主持，国家级，2012-01--2015-12 （3）高速列车网络控制系统，主持，国家级，2009-01--2012-12 指导学生 已指导学生

邹勇博士研究生081202-计算机软件与理论

黄蒙博士研究生081202-计算机软件与理论

孙岩硕士研究生081202-计算机软件与理论

赵欣培博士研究生081202-计算机软件与理论

杨达博士研究生081202-计算机软件与理论

陈伟博士研究生081202-计算机软件与理论

廖渊博士研究生081202-计算机软件与理论

张普博士研究生081202-计算机软件与理论

梁晟博士研究生081202-计算机软件与理论

杨秋松博士研究生081202-计算机软件与理论

武占春博士研究生081202-计算机软件与理论

王继喆博士研究生081202-计算机软件与理论

董颖博士研究生081202-计算机软件与理论

张晓刚博士研究生081202-计算机软件与理论

陶秋铭博士研究生081202-计算机软件与理论

刘霞博士研究生081202-计算机软件与理论

唐磊博士研究生081202-计算机软件与理论

姜楠博士研究生081202-计算机软件与理论

董斐博士研究生081202-计算机软件与理论

黎巎博士研究生081202-计算机软件与理论

袁峰博士研究生081202-计算机软件与理论

肖俊超博士研究生081202-计算机软件与理论

李娟博士研究生081202-计算机软件与理论

童立靖博士研究生081202-计算机软件与理论

赵玉柱硕士研究生081202-计算机软件与理论

朱丹枫硕士研究生081202-计算机软件与理论

王晓曦硕士研究生081202-计算机软件与理论

吴立国硕士研究生081202-计算机软件与理论

汤子楠硕士研究生081202-计算机软件与理论

周博文硕士研究生081202-计算机软件与理论

张普硕士研究生081202-计算机软件与理论

李悦硕士研究生081202-计算机软件与理论

翟健博士研究生081202-计算机软件与理论

袁荣博士研究生081202-计算机软件与理论

李引博士研究生081202-计算机软件与理论

何梅博士研究生081202-计算机软件与理论

刘大鹏博士研究生081202-计算机软件与理论

何海清硕士研究生081202-计算机软件与理论

余侠硕士研究生081202-计算机软件与理论

何磊硕士研究生081202-计算机软件与理论

林中鹏硕士研究生081202-计算机软件与理论

陈嘉硕士研究生081202-计算机软件与理论

张昊鹏硕士研究生081202-计算机软件与理论

杜晶博士研究生081202-计算机软件与理论

孙付伟硕士研究生081202-计算机软件与理论

董佳梁硕士研究生081202-计算机软件与理论

苏杨硕士研究生430113-软件工程

何治民博士研究生081202-计算机软件与理论

石琳博士研究生081202-计算机软件与理论

戴健博士研究生081202-计算机软件与理论

马乐乐硕士研究生081202-计算机软件与理论

汪正康硕士研究生081202-计算机软件与理论

高晓伟硕士研究生081202-计算机软件与理论

现指导学生

陈洁博士研究生081202-计算机软件与理论

崔强博士研究生081202-计算机软件与理论

郝春亮博士研究生081202-计算机软件与理论

王丽淑硕士研究生081202-计算机软件与理论

李威威博士研究生081202-计算机软件与理论

刘庆庆硕士研究生083500-软件工程

冯博文硕士研究生083500-软件工程

王瑜博士研究生083500-软件工程

汪孙律博士研究生083500-软件工程

贺垚硕士研究生081202-计算机软件与理论

赵力硕士研究生083500-软件工程

高伟毅硕士研究生083500-软件工程

岳晓萌博士研究生081202-计算机软件与理论

李正博士研究生083500-软件工程

主要研究兴趣为操作系统与基础软件，软硬件协同设计，以及软件工程方法和软件过程技术等。

（1）大数据背景下集群调度结构与研究进展,计算机研究与发展,2018,通讯作者 （2）WhoShouldBeSelectedtoPerformaTaskinCrowdsourcedTesting?,IEEE41thAnnualComputerSoftwareandApplicationsConference(COMPSAC‘17),2017,通讯作者 （3）PCSsampler:Sample-based,Private-stateClusterScheduling,CCGRID2017,2017,通讯作者 （4）Enhancingsample-basedschedulerwithcollaborate-stateinbigdatacluster,SEKE2017,2017,通讯作者 （5）Multi-ObjectiveCrowdWorkerSelectioninCrowdsourcedTesting,,The29thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE‘17),2017,通讯作者 （6）Tiresias:lowlatencyschedulingbasedontaskhopping,IEEECluster2016,2016,通讯作者 （7）PerspectivesonRefactoringPlanningandPractice:AnEmpiricalStudy,EmpiricalSoftwareEngineering:aninternationaljournal,2015,通讯作者 （8）数据操作系统的思想、设计和原型验证,DataOS:principle,designandprototypeimplementation,中国科学：信息科学,2015,第1作者 （9）Sparkle:Adaptivesamplebasedschedulingforclustercomputing,CloudDP2015,2015,通讯作者 （10）Investigatingdependenciesinsoftwarerequirementsforchangepropagationanalysis,AdvancesinIntelligentSystemsandComputing,2014,通讯作者 （11）Refactoringplanningandpracticeinagilesoftwaredevelopment:anempiricalstudy,InternationalConferenceonSoftwareandSystemsProcess(ICSSP),2014,通讯作者 （12）SearchBasedRiskMitigationPlanninginProjectPortfolioManagement,InternationalConferenceonSoftwareandSystemsProcess,2013,通讯作者 （13）LearningFormEvolutionHistorytoPredictFutureRequirementChanges,InternationalConferenceonRequirementsEngineering,2013,第3作者 （14）轨迹数据库中热门区域发现方法,软件学报,2013,第4作者 （15）AnInvestigationOnTheFeasibilityOfCross-projectDefectPrediction,InternationalJournalofAutomatedSoftwareEngineering,2012,第4作者 （16）一种形式化的基于组件的软件过程建模方法,软件学报,2011,第4作者 （17）AnEmpiricalStudyonEvolutionofAPIDocumentation,FundamentalApproachestoSoftwareEngineering,2011,第4作者 （18）AttackingDimensionalityProblemofParameterizedSystemsviaBoundedReachabilityGraph,FundamentalsofSoftwareEngineering,2011,第4作者 （19）一种软件过程管理工具在中国使用的案例研究,ACaseStudyonUsageofaSoftwareProcessManagementToolinChina,Proc.ofAPSEC,2010,通讯作者 （20）中断多发软件开发环境中的动态资源调度,DynamicResourceSchedulinginDisruption-ProneSoftwareDevelopmentEnvironments,Proc.of,2010,第4作者 （21）一种参数化系统边界验证的切断方法,Acut-offapproachforboundedverificationofparameterizedsystems,Proc.ofICSE,2010,第2作者 （22）软件开发过程中中断驱动的资源调度,Disruption-DrivenResourceReschedulinginSoftwareDevelopmentProcesses,Proc.ofICSP,2010,第4作者 （23）改进软件测试过程:通过功能优先级排序满足重要涉众的赢条件,ImprovingSoftwareTestingProcess:FeaturePrioritizationtoMakeWinnersofSuccess-CriticalStakeholders,JournalofSoftwareMaintenanceandEvolution:ResearchandPractice,2010,第3作者 （24）理解中国软件工业界中影响开发工作量的因素,UnderstandingtheInfluentialFactorstoDevelopmentEffortinChineseSoftwareIndustry,Proc.ofPROFES,2010,通讯作者 （25）人员配备模式对软件项目的影响:经验分析,Effectofstaffingpatternonsoftwareproject:Anempiricalanalysis,Proc.ofESEM,2009,第2作者 （26）弥合软件测试过程和业务价值之间的差距——案例研究,BridgetheGapbetweenSoftwareTestProcessandBusinessValue:ACaseStudy,Proc.ofICSP,2009,第2作者 （27）实现按时交付:一个软件项目量阶段的概率调度策略,AchievingOn-TimeDelivery:ATwo-StageProbabilisticSchedulingStrategyforSoftwareProjects,Proc.ofICSP,2009,通讯作者 （28）过程可信作为度量和改进软件可信的能力指标,ProcessTrustworthinessasaCapabilityIndicatorforMeasuringandImprovingSoftwareTrustworthiness,Proc.ofICSP,2009,第3作者 （29）用遗传算法并基于兼职的多个软件项目调度,Value-BasedMultipleSoftwareProjectsSchedulingwithGeneticAlgorithm,Proc.ofICSP,2009,第3作者 （30）监测实时的大型路网交通,MOIR/MT:MonitoringLarge-ScaleRoadNetworkTrafficinReal-Time,Proc.ofPVLDB,2009,第4作者 （31）基于BiDefect模型的迭代开发量化缺陷管理,QuantitativedefectsmanagementiniterativedevelopmentwithBiDefect,JournalofSoftwareProcess:ImprovementandPractice,2009,通讯作者