教授(博导)1967年毕业于北京大学数学力学系,1984年获挪威NTH工学博士,1989-1991年在NTH做博士后研究,1991年任教授。研究方向:约束程序设计,归纳逻辑程序设计,数据挖掘与知识发现等,主持多项国家自然科学基金和863计划课题。在国内外学术刊物和重要国际学术会议上发表70多篇论文,出版专著及译著多部,已培养硕士研究生20多名,在学博士生4名。现任《软件学报》和《计算机研究与发展》编委,日本山口大学客座教授。,
二、主要研究方向:
网上智能;
数据挖掘;
约束程序设计
笑话军事旅游美容女性百态母婴家电游戏互联网财经美女干货家饰健康探索资源娱乐学院 数码美食景区养生手机购车首饰美妆装修情感篇厨房科普动物植物编程百科知道汽车珠宝 健康评测品位娱乐居家情感星座服饰美体奢侈品美容达人亲子图库折扣生活美食花嫁风景 | 首页 |
教授(博导)1967年毕业于北京大学数学力学系,1984年获挪威NTH工学博士,1989-1991年在NTH做博士后研究,1991年任教授。研究方向:约束程序设计,归纳逻辑程序设计,数据挖掘与知识发现等,主持多项国家自然科学基金和863计划课题。在国内外学术刊物和重要国际学术会议上发表70多篇论文,出版专著及译著多部,已培养硕士研究生20多名,在学博士生4名。现任《软件学报》和《计算机研究与发展》编委,日本山口大学客座教授。,
二、主要研究方向:
网上智能;
数据挖掘;
约束程序设计