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