教授（博导）1967年毕业于北京大学数学力学系，1984年获挪威NTH工学博士，1989-1991年在NTH做博士后研究，1991年任教授。研究方向：约束程序设计，归纳逻辑程序设计，数据挖掘与知识发现等，主持多项国家自然科学基金和863计划课题。在国内外学术刊物和重要国际学术会议上发表70多篇论文，出版专著及译著多部，已培养硕士研究生20多名，在学博士生4名。现任《软件学报》和《计算机研究与发展》编委，日本山口大学客座教授。，

二、主要研究方向：

网上智能；

数据挖掘；

约束程序设计