刘椿年

刘椿年 - 简介

 教授，1944年出生。1967年毕业于北京大学数学力学系（本科），1978年考入北京工业大学计算机科学系 （研究生），1980年由国家选派赴挪威特隆赫姆理工大学(NTH)计算机科学系攻读博士学位，1984年获NTH工学 博士学位后回国任北京工业大学计算机系副教授，1989-1991在NTH作博士后研究两年，再次回国后任北京工业大
学计算机系教授，现为北京工业大学计算机学院教授，博士生导师。
刘椿年教授现任中国计算机学会人工智能与模式识别专业委员会委员，北京市计算机学会理事，IFIP WG2.4 观察员，软件学报编委，计算机研究与发展编委，北京工业大学学术委员会副主任，北京工业大学计算 机学院学术委员会主任。日本国立山口大学客座教授。刘椿年教授自1992年10月起享受政府特殊津贴，1993年 5月1日获首都劳动奖章，1997年人选北京市跨世纪人才工程。
刘椿年教授的业务专长包括人工智能和计算机软件两个方面。他当前的主要研究方向包括：约束逻辑程序 设计CLP（CLP语言与系统，并行CLP，CLP的抽象解释与部分演绎，CLP中非线性约束求解技术），机器学习 （归纳逻辑程序设计ILP，数据挖掘与知识发现KDD，KDD进程），软件开发进程技术SPT，和计算机支持的协同 工作CSCW。在这些研究方向上都得到国家级科研项目资助。他共主持国家自然科学基金项目5项（在研2项，已 完成的3项均被评为优等），863高技术项目4项，以及国家教委，北京市科委和北京市自然科学基金资助项目多项。他的科研成果BPU-Prolog（优化的逻辑程序设计系统）和BPU-CLP（多重论域的约束逻辑程序设计系统）分别于1988和1998年获北京市科技进步奖。刘椿年教授曾在国内外学术刊物和重要国际学术会议上发表60多篇 论文（被EI，ISTP, INSPEC等收录10篇）。在科学出版社等处出版学术专著，教材，译著多种。
刘椿年教授曾在北京工业大学，清华大学，北京大学，中国科大研究生院开设“计算机科学中的逻辑学”，“逻辑程序设计”，“形式语义学”，“机器学习”等硕士研究生课程，共指导硕士研究生20多名（已有17名获得硕士学位），目前指导博士生2名。
刘椿年教授积极从事国际学术交流活动，与挪威，日本等国的同行保持着长期的学术交流和合作研究关系，担任过8个国际学术会议的程序委员会委员，应邀在日本，美国，挪威，香港的若大学作过学术报告。1994－ 1995年曾受聘为澳门大学教学工作校外督察员。

刘椿年 - 研究方向：

网上智能；
数据挖掘；
约束程序设计