人物經歷
1980年至1984年,浙江大學計算機系攻讀學士學位。
1984年至1986年,國防科技大學計算機系攻讀碩士學位。
1989年至1992年,國防科技大學計算機系攻讀博士學位。
1986年至1989年,湘潭大學計算機系助教。
1992年至1994年,中國科學院數學研究所博士後工作站從事博士後研究工作。
1994年至1997年,中國科學院數學研究所副研究員。
1998年至2001年,中國科學院數學與系統科學研究院副研究員。
2001年至今,中國科學院數學與系統科學研究院研究員,博士生導師。
1993年8月赴德參加國際理論計算機科學SUMMER SCHOOL。
1996年至1997年赴法國國家科學院IRISA進行合作研究。
1997年至1998年受英國皇家學會基金資助赴英國Ulster大學進行客座研究。
2000年至2001年受英國皇家學會基金資助赴英國Ulster大學進行合作研究。
1997年起,中國科學院數學與系統科學研究院計算機科學室副主任,2003年起任主任。
1997年起,中科院管理、決策與信息系統開放實驗室副主任。
1996年起,IEEE計算機學會ECBS技術委員會會員。
1999年起,中國計算機學會青年科技論壇學術委員會委員,2001年起任學術秘書,2003年任學術委員會副主席。
2001年起,中國計算機學會軟體工程專委委員。
2002年起,任軟體學報編委
研究方向
需求工程、基於知識的軟體工程、知識工程和人工智慧。
主要貢獻
學術活動
(參與學術會議的組織工作):
1. 2001年、2002年、2003年全國軟體技術研討會大會學術委員會成員。
2. BASICS'01:2001 SUMMER SCHOOL AND WORKSHOP ON BASIC STUDIES IN COMPUTING SCIENCE,Program Committee Member;
3. 2002年第八屆聯合國際計算機會議程式委員會委員;
4. 2003年全國計算機大會學術委員會委員。
5. IFSFT'04:International Symposium on Future Software Technology 2004,Program Co-Chair。
6. 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM2004), Program Committee Member。
科研項目
1. 1985年至1987年,《李聰甫老中醫整體脾胃觀慢性腎炎診療專家系統》,衛生部七·五重點科技攻關項目。該項目於1988年通過湖南省衛生局組織的技術鑑定,所開發的系統獲湖南省省級科技成果二等獎。
2. 1989年至1992年,《新一代知識處理集成化環境系統NKES/SUN》,國家863高技術課題,該項目已於1992年10月通過專家鑑定,所開發的系統於1994年10月獲國防科工委科技進步貳等獎。
3. 1991年至1995年,《實用智慧型工具集的開發》(編號85-712-01-07-02),國家八·五重點攻關項目,該項目已於1995年9月通過電子部組織的專家鑑定。
4. 1995年至1997年,《基於邏輯的面向對象語言模型的研究》(編號69403001),國家自然科學青年基金項目,已結題。(8萬)
5. 1996年至1997年,《智慧型軟體工具的概念模型研究》(編號96-729-01-06-09),國家九·五重點攻關項目第一期,於1998年8月通過專家鑑定。
6. 1996年至1998年,《面向對象的軟體技術》(編號863-306-02-05-2),國家863高技術課題,於1998年8月通過專家鑑定。(24萬)
7. 1998年至2000年,《基於領域分析的軟體開發技術》(編號98-780-01-07-09),國家九·五重點攻關項目第二期,已於2000年8月通過專家鑑定。
8. 1998年至2001年,《常識知識的實用研究》(編號69733020),國家自然科學基金重點項目。於2002年3月通過專家驗收。(88萬)
9. 1998年至2000年,《基於本體論的領域分析和領域建模》(編號863-306-ZT02-01-2),國家863高技術項目,已於2000年8月通過專家鑑定。(19萬)
10. 1999年至2000年,《基於知識的需求自動獲取》(編號J9907),國家教委留學回國人員科研啟動基金。(2萬)
11. 2000年至2002年,《基於知識的需求獲取方法的形式化研究》(編號69983010),國家自然科學基金項目。總經費13萬。主持。
12. 2000年至2002年,《基於本體的需求獲取》,中國科學院盈科優秀青年人才基金項目。(15萬)
13. 2001年至2003年,《基於領域建模的需求工程》,(編號2001AA113130),國家863高技術發展計畫項目。總經費40萬。主持。
14. 2002年至2004年,《“信息和知識共享”的系統理論》,(編號2001CCA03000),國家基礎研究重大項目前期研究專項。總經費100萬。參加。
15. 2003年至2006年,《軟體的特徵互動及互操作性的研究》,(編號60233010),國家自然科學基金重大項目。總經費200萬,主持課題經費40萬。
16. 2003年至2007年,《Internet環境下基於Agent的軟體中間件理論和方法研究》,國家基礎研究重大發展規劃項目,總經費2500萬。主持課題《基於知識的網構軟體需求建模理論和方法研究》,(編號2002CB312004),課題經費360萬。
獲獎記錄
1. 1994年因研製成功國家863高技術課題《新一代知識處理集成化環境系統NKES/SUN》,獲國防科工委科技進步二等獎一項(排名第二)。
2. 1997年獲中創軟體人才獎。
3. 2000年獲中科院盈科優秀青年人才獎。