基本信息
李明树 男 博导 软件研究所
电子邮件:mingshu@iscas.ac.cn
通信地址:中关村南四街4号
邮政编码:100190

研究领域

主要研究兴趣为操作系统与基础软件,软硬件协同设计,以及软件工程方法和软件过程技术等。近年来在国内外期刊和会议上先后发表和合作发表学术论文上百篇, 获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) 一种自动识别需求依赖关系的方法,发明,2008,第1作者,专利号:ZL200810117633.5
(2) 一种预测软件过程执行时间的方法,发明,2009,第1作者,专利号:ZL200910083708.7
(3) 一种软件缺陷报告分流方法及系统,发明,2011,第1作者,专利号:ZL200910091681.6
(4) 一种针对返工预测软件开发成本和执行时间的方法,发明,2014,第5作者,专利号: CN102103501B

出版信息

   
发表论文
(1) Perspectives on Refactoring Planning and Practice: An Empirical Study,Empirical Software Engineering: an international journal ,2015,第5作者
(2) 数据操作系统的思想、设计和原型验证,DataOS: principle, design and prototype implementation,中国科学:信息科学,2015,第1作者
(3) Investigating dependencies in software requirements for change propagation analysis,Advances in Intelligent Systems and Computing,2014,第5作者
(4) Refactoring planning and practice in agile software development: an empirical study,International Conference on Software and Systems Process (ICSSP) ,2014,第5作者
(5) 轨迹数据库中热门区域发现方法,软件学报,2013,第4作者
(6) Search Based Risk Mitigation Planning in Project Portfolio Management,International Conference on Software and Systems Process,2013,第5作者
(7) Learning Form Evolution History to Predict Future Requirement Changes,International Conference on Requirements Engineering,2013,第3作者
(8) An Investigation On The Feasibility Of Cross-project Defect Prediction,International Journal of Automated Software Engineering,2012,第4作者
(9) Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph ,Fundamentals of Software Engineering ,2011,第4作者
(10) 一种形式化的基于组件的软件过程建模方法,软件学报,2011,第4作者
(11) An Empirical Study on Evolution of API Documentation,Fundamental Approaches to Software Engineering,2011,第4作者
(12) 理解中国软件工业界中影响开发工作量的因素,Understanding the Influential Factors to Development Effort in Chinese Software Industry,Proc. of PROFES,2010,第5作者
(13) 中断多发软件开发环境中的动态资源调度,Dynamic Resource Scheduling in Disruption-Prone Software Development Environments,Proc. of ,2010,第4作者
(14) 一种参数化系统边界验证的切断方法,A cut-off approach for bounded verification of parameterized systems,Proc. of ICSE,2010,第2作者
(15) 改进软件测试过程: 通过功能优先级排序满足重要涉众的赢条件, Improving Software Testing Process: Feature Prioritization to Make Winners of Success-Critical Stakeholders,Journal of Software Maintenance and Evolution: Research and Practice,2010,第3作者
(16) 一种软件过程管理工具在中国使用的案例研究,A Case Study on Usage of a Software Process Management Tool in China,Proc. of APSEC,2010,第5作者
(17) 软件开发过程中中断驱动的资源调度,Disruption-Driven Resource Rescheduling in Software Development Processes,Proc. of ICSP,2010,第4作者
(18) 基于BiDefect模型的迭代开发量化缺陷管理,Quantitative defects management in iterative development with BiDefect,Journal of Software Process: Improvement and Practice,2009,第5作者
(19) 人员配备模式对软件项目的影响:经验分析, Effect of staffing pattern on software project: An empirical analysis,Proc. of ESEM,2009,第2作者
(20) 实现按时交付:一个软件项目量阶段的概率调度策略,Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects,Proc. of ICSP,2009,第5作者
(21) 弥合软件测试过程和业务价值之间的差距——案例研究,Bridge the Gap between Software Test Process and Business Value: A Case Study,Proc. of ICSP,2009,第2作者
(22) 用遗传算法并基于兼职的多个软件项目调度,Value-Based Multiple Software Projects Scheduling with Genetic Algorithm,Proc. of ICSP,2009,第3作者
(23) 监测实时的大型路网交通,MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time,Proc. of PVLDB,2009,第4作者
(24) 过程可信作为度量和改进软件可信的能力指标,Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness,Proc. of ICSP,2009,第3作者

科研活动

   
科研项目
(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-软件工程