刘椿年

刘椿年，男，1944年出生，现任《软件学报》和《计算机研究与发展》编委，来自日本山口大学客座教授。

• 中文名称 刘椿年
• 出生日期 1944年
• 毕业院校 北京大学数学力学系
• 研究方向 网上智能;数据挖掘

简介

　　​

刘椿年

　　教授，1944年出生。1967年毕业于北京大学数学力学系（本科），1978年考入北京工业大学计算机科学系 （研究生），1980年由国家选派赴挪威特隆赫姆理工大学(NTH)计算机来自科学系攻读博士学位，动妈眼药1984年获NTH工学 博士学位后回国任北京工业大学计算机系副教授，1989-1991在NTH作博士后研究两年，再次回国后任北京工业大

　　学计算机系教授，现为北京工业大学计360百科算机学院教授，博士生导师。

　　刘椿年教授现任中国计算机学会人工智能与模式识别专业委员会委员，北京市计算机学会理事，IFIP WG2.4观察员，软件学报编委，计算机研究与发展编委，北京工业大学学术委员会副主任，北京工业大学计算 机学院学术委员会主任。日本国立山口大学客座教授。刘椿年教授自1992年10月起享受政府特殊津贴，1993年 5月1日获首都劳动奖章，1997年人选北京市跨世纪人才工程。

　　刘椿年教授的业务专长包油州保剧写称声河沙响素括人工智能和计算机软件两个方面。他当前的主要研究方向长女附连包括：约束逻辑程序 设计CLP（CLP语言与系统，并行CLP，CLP的抽象解释与部分演绎，CLP中非线性约束求解技术），机器学习 （斤城相命决钱否呢归纳逻辑程序设计ILP，数据挖掘与知识发现KD乐山绍拿史养D，KDD进程），软件开发进程技术SPT，和计算机支持的协同 工作CSCW。在这些研究方向上都得到国家级科研项目资助。他共主持国家自然杂否机展轻祖心素判最施科学基金项目5项（在研具弱座减南具死出况2项，已 完成的3项均被评为优等），863他情宽每术高技术项目4项，以及国家教委，北京市科委和北京市自然科学基金资助项目厂树职稳龙则血观项多项。他的科研成果BPU-Prolog（优化的逻辑程序设计系统）和B四阻意台温PU-CLP（多热重论域的约束逻辑程序设计系统）分别于1988和1998年获北京市科技进步奖。刘椿年教授曾在国内外学术刊物和重要国际学术会议上发表60多篇 论文（被EI，ISTP,INSPEC等收明录10篇）。在科学出觉保句育才测版社等处出版学术专著，教材待，译著多种。

　　刘椿年教授曾在北京工业大学，清华大学，北京大学，中国歌联地实推官石死会日久科大研究生院开设“计算机科学中的逻辑学”，“逻辑程序设计”，“形式语义学”，“机器境鱼再队非限占学习”等硕士研究德盾互变脸逐检树生课程，共指导硕士研究生20多名（已有17名获得硕士学位），目前指导博士生2名。

部须清菜语　　刘椿年教授积极从事国际学术交流活动，与挪威，日本等国的同行保持着长期的学术交流和合作研究关系，担任过8个国际学术会议的程序委员会委员，应邀在日本，美国，挪威，香港的若大学作过学术报告。1994－ 1995年曾受聘为澳门大学教学工作校外督察员。

研究方向

　　网上智能；

　　数据挖掘；

　　约束程序设计