人物簡介
教授(博導)1944年出生。1967年畢業於北京大學數學力學系,1984年獲挪威NTH工學博士,1989-1991年在NTH做博士後研究,1991年任教授。研究方向:約束程式設計,歸納邏輯程式設計,數據挖掘與知識發現等,主持多項國家自然科學基金和863計畫課題。在國內外學術刊物和重要國際學術會議上發表70多篇論文,出版專著及譯著多部,已培養碩士研究生20多名,在學博士生4名。現任《軟體學報》和《計算機研究與發展》編委,日本山口大學客座教授。
主要研究方向
網上智慧型;
數據挖掘;
約束程式設計