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