李明树教授研究员、博士生导师
生日:1966年5月
民族:汉
学位:博士
职务:软件所所长
单位:中国科学院软件研究所
地址:北京8718信箱,中关村南四街4号
邮编:100080
email:lms@admin.iscas.ac.cn
【教育经历】
1987年7月北京轻工业学院计算机专业 学士
1993年6月哈工大计算机系 博士
1995年3月哈工大社会科学系 经济学硕士(第二学位)
【工作简历】
1993-1995中国科学院软件研究所 博士后
1995-1996英国爱丁堡大学人工智能系博士后
1994-1997中科院软件所 副研究员
1998-至今中科院软件所 研究员、博士生导师
1998-2000 863智能计算机系统主题专家组组长助理
2000-至今第九届全国青联委员、中国计算机学会常务理事及青年工委主任、北京市人民政府科技顾问
2001-至今863计算机软硬件技术主题专家组成员
【研究方向】
1、智能软件工程:用户主导的需求工程方法、Internet环境下的软件协同开发技术、软件过程技术与质量保障、软件工程知识管理、软件质量评价方法。
2、实时系统:实时系统开发方法与算法、嵌入式实时操作系统、NC与信息家电支撑技术、Internet应用技术。
【近期发表的部分论著】
[1]“支持AI问题求解的成员系统”,《计算机研究与发展》, 1992年11期。
[2]“并发成员系统程序设计语言MS-1及其在空间中的应用”,《宇航学报》, 1993年3期。
[3]“一个基于规则的空间站GaAs自动生产线实时故障诊断系统”,《自动化学
报》, 1993年5期。
[4]“成员系统模型及其归约”,《计算机学报》, 1994年2期。
[5]“实时产生式系统”,《自动化学报》, 1994年3期。
[6]“并发成员系统程序设计语言环境下的机器人协同问题求解”,《计算机
研究与发展》,1994年12期。
|