专业职务 北京工业大学计算机系教授(1991—1998)

现为北京工业大学计算机学院教授，博士生导师（1999－）

通讯 北京工业大学计算机学院，北京100022

电话：67391089,67392870（办公室）

67392040（住宅）

传真：67395281（熙园宾馆）,

67392297（工大电话总机室）

电子邮件地址：cslcn@bjpu.edu.cn

二。学历和工作简历

学历

1962.9—1967.9 北京大学数学力学系 本科生

1978.9—1979.12 北京工业大学(BPU)计算机科学系 研究生

1980.1—1983.12 挪威特隆赫姆理工大学(NTH)计算机科学系 工学博士

1989.8—1991.7 挪威特隆赫姆理工大学(NTH)计算机科学系 博士后研究

工作简历

1968.9—1978.9 在内蒙古地质局若干个地质队工作

1984.1—至今 在北京工业大学计算机科学系任教：

1986年起任副教授；1991年起任教授；1999年起任博士生导师

业务专长

人工智能〈逻辑程序设计，约束程序设计，归纳逻辑程序设计，数据挖掘与知识发现〉

计算机软件〈计算机语言及支撑环境，软件开发进程模型与规划，CSCW〉

外语

英语 (四会)

俄语 (专业阅读)

挪威语 (专业阅读)

受到的市级及以上表彰

1988年获北京市科技进步三等奖（第一获奖人）

1992年10月起享受政府特殊津贴

1993年5月1日获首都劳动奖章

1997年人选北京市跨世纪人才工程

1998年获北京市科技进步三等奖（第一获奖人）

1999年人选国家教育部编篡出版的“优秀留学回国人员业绩录”（400余人）

三。学术团体任职和国际学术交流活动

学术团体任职

现任中国计算机学会人工智能与模式识别专业委员会常务委员

现任北京市计算机学会理事

现任IFIP WG2.4 观察员

现任《软件学报》编委

现任《计算机研究与发展》编委

近来的国际学术交流活动

近几年曾任下列国际学术会议程序委员会委员：

(1) The 8th International Hong Kong Database Conference (1998)

(2) The 9th International Hong Kong Database Conference (1999)

(3) PAKDD'99: The Third Asia-Pacific Conference on Knowledge Discovery

and Data Mining (Beijing, April 1999)

(4) RSFDGrC’99: The Seventh International Workshop on Rough Sets,

Fuzzy Sets, Data Mining, and Granular-Soft Computing

(Japan, Nov. 1999)

(5) IAT’99: The First Asia-Pacific Conference on Intelligent Agent Technology

(Hong Kong, Dec. 1999)

(6) PAKDD'2000: The 4th Asia-Pacific Conference on Knowledge Discovery

and Data Mining (Kyoto, Japan, April 2000)

(7) RSCTC'2000: The Second International Conference on Rough Sets and

Current Trends in Computing (Banff Park Lodge, Banff,

Canada October 16-19, 2000)

(8) NIT2001: The 12th International Conference on New Information

Technology, 29-31 May 2001, Beijing China

近几年曾应邀在下列学校作过学术报告：

(1) City University of Hong Kong: （香港城市大学）

"Software Process Planning", June 1995

(2) Norwegian Institute of Technology, Norway: （挪威科技大学）

"Software Process Metrics", Sept. 1996

(3) Yamaguchi University, Japan: （日本山口大学）

"Software Process and KDD Process", Nov. 1996

(4) Norwegian Institute of Technology, Norway: （挪威科技大学）

"SPT and CSCW", Sept. 1997

(5) Yamaguchi University, Japan: （日本山口大学）

"Process View of CSCW”, Feb. 1999

(6) Yamaguchi University, Japan: （日本山口大学）

"Constraint Inductive Logic Programming", March 1999

(7) Macao University, Macao: （澳门大学）

"Computer Supported Cooperative Work”, June 1999

受聘为澳门大学教学工作校外检查员（1994，1995两年）

1992-1999年应邀对外学术访问：

美国1次, 挪威8次，日本4次，香港1次，澳门1次，韩国1次

四。教学工作

4.1 本科教学
程序设计方法学 开出十次: 1984—1994

人工智能原理 开出五次: 1987—1999

专业英文阅读 开出四次： 1987—1992

本科毕业设计 共指导21人: 1984—2000

4.2 硕士研究生教学
计算机科学中的逻辑学 北工大（1991－1998）

逻辑程序设计 清华大学，中国科大研究生院，北工大（1985－1999）

形式语义学 北京大学（1989）

高级编译教程 北工大

函数型程序设计 北工大

人工智能 北工大

知识工程 北工大

软件开发方法 北工大

机器学习 北工大

约束逻辑程序设计 北工大

归纳逻辑程序设计 北工大

指导硕士研究生〈1984—〉共25人（其中19人已获硕士学位）：

徐旭东，李 晨，吴 为，孔令勉，石宝珠，董 洁，李 犁，王 原，

童 梅，张秀珍，杨 凯，陶 意，王志言，聂文英，王念永，钟宁燕，

苗占禄，边嘉耕，夏姗姗，李京悦，周天山，张俊卿，王龙， 姚松源，

黄佳进

指导博士研究生〈1999—〉共4人：郑磊，杨新武，毛国君，冀俊忠

五。科研工作（科研项目和成果）

1。 主持：逻辑程序设计

六五攻关项目, 1986-1988

1988年获北京市科技进步三等奖

2。 主持：智能的软件生产自动化系统

863高技术项目, 1988-1990

论文结题

3。 主持：逻辑程序数据流分析及其应用

国家自然科学基金项目(68973039), 1989-1991

结题后被信息科学部评为完成较出色的50个项目之一

4。 主持：人工智能语言及其实现技术

863高技术项目(863-306-0206-3C), 1992-1994

论文结题

5。 主持：软件开发进程模型与规划

国家自然科学基金项目(69273015), 1993-1995

结题后被信息科学部评为优等

6。 主持：智能语言及其实用技术

863高技术项目(863-306-02-02B), 1994-1996

1998年获北京市科技进步三等奖

7。 主持：约束逻辑程序设计语言与其系统

国家自然科学基金项目(69473016), 1995-1997

结题后被信息科学部评为优等

8。 主持：并行算法与可扩展算法的研究

863高技术项目(863-306-05-01-2B), 1996-1998

论文结题

9。 主持：逻辑式语言中非线性约束求解

国家自然科学基金项目(69673022), 1997-1999

结题，评为良

10。 主持：约束归纳逻辑程序设计

国家自然科学基金项目(69883001), 1999-2001

正在结题

11。 主持：数据库中知识发现的研究

北京市自然科学基金项目(4982003), 1998-2000

结题，专家评议：国际先进

12。 主持：知识发现方法及其应用

863高技术项目(863-306-ZT06-07-2), 1998-2000

结题，评为B+

13。 主持：粒状计算及其应用的研究

北京市教育委员会科技发展计划项目, 2000.8—2002.12

进行中

14。 主持：网上智能与语义网络的研究

北京市教育委员会科技发展计划项目, 2001.10—2003.12

进行中

15。 主持：约束/归纳逻辑程序设计中的软计算

国家自然科学基金项目(601), 2002-2004

进行中

16。 主持：数据挖掘中的软计算

北京市自然科学基金项目(402), 2002-2004

进行中

17。 主持：中国象棋人机对奕系统

北京中体网科技发展有限公司技术服务合同（15万元），2000年1—12月

18。 主持：体育信息文本数据挖掘系统

北京中体网科技发展有限公司技术服务合同（15万元），2000年9月—2001年8月

19。 主持：个性化网站服务系统

北京中体网科技发展有限公司技术服务合同（15万元），2000年9月—2001年8月

20。 主持：智能教学系统

裕兴公司（50万元），2001年1月—2001年12月

客座研究人员：EPOS 挪威国家科学基金项目 1989-1995

客座研究人员：CAGIS 挪威国家科学基金项目 1996-2000

客座研究人员：PROMOTER 欧洲ESPRIT项目 1992-1998

客座研究人员：KDD 日本山口大学项目 1996-1999