李明樹教授研究員、博士生導師

　　生日：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期。