劉椿年 - 簡介

 教授，1944年出生。1967年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系（本科），1978年考入北京工業(yè)大學(xué)計算機(jī)科學(xué)系 （研究生），1980年由國家選派赴挪威特隆赫姆理工大學(xué)(NTH)計算機(jī)科學(xué)系攻讀博士學(xué)位，1984年獲NTH工學(xué) 博士學(xué)位后回國任北京工業(yè)大學(xué)計算機(jī)系副教授，1989-1991在NTH作博士后研究兩年，再次回國后任北京工業(yè)大
學(xué)計算機(jī)系教授，現(xiàn)為北京工業(yè)大學(xué)計算機(jī)學(xué)院教授，博士生導(dǎo)師。
劉椿年教授現(xiàn)任中國計算機(jī)學(xué)會人工智能與模式識別專業(yè)委員會委員，北京市計算機(jī)學(xué)會理事，IFIP WG2.4 觀察員，軟件學(xué)報編委，計算機(jī)研究與發(fā)展編委，北京工業(yè)大學(xué)學(xué)術(shù)委員會副主任，北京工業(yè)大學(xué)計算 機(jī)學(xué)院學(xué)術(shù)委員會主任。日本國立山口大學(xué)客座教授。劉椿年教授自1992年10月起享受政府特殊津貼，1993年 5月1日獲首都勞動獎?wù)拢?997年人選北京市跨世紀(jì)人才工程。
劉椿年教授的業(yè)務(wù)專長包括人工智能和計算機(jī)軟件兩個方面。他當(dāng)前的主要研究方向包括：約束邏輯程序 設(shè)計CLP（CLP語言與系統(tǒng)，并行CLP，CLP的抽象解釋與部分演繹，CLP中非線性約束求解技術(shù)），機(jī)器學(xué)習(xí) （歸納邏輯程序設(shè)計ILP，數(shù)據(jù)挖掘與知識發(fā)現(xiàn)KDD，KDD進(jìn)程），軟件開發(fā)進(jìn)程技術(shù)SPT，和計算機(jī)支持的協(xié)同 工作CSCW。在這些研究方向上都得到國家級科研項目資助。他共主持國家自然科學(xué)基金項目5項（在研2項，已 完成的3項均被評為優(yōu)等），863高技術(shù)項目4項，以及國家教委，北京市科委和北京市自然科學(xué)基金資助項目多項。他的科研成果BPU-Prolog（優(yōu)化的邏輯程序設(shè)計系統(tǒng)）和BPU-CLP（多重論域的約束邏輯程序設(shè)計系統(tǒng)）分別于1988和1998年獲北京市科技進(jìn)步獎。劉椿年教授曾在國內(nèi)外學(xué)術(shù)刊物和重要國際學(xué)術(shù)會議上發(fā)表60多篇 論文（被EI，ISTP, INSPEC等收錄10篇）。在科學(xué)出版社等處出版學(xué)術(shù)專著，教材，譯著多種。
劉椿年教授曾在北京工業(yè)大學(xué)，清華大學(xué)，北京大學(xué)，中國科大研究生院開設(shè)“計算機(jī)科學(xué)中的邏輯學(xué)”，“邏輯程序設(shè)計”，“形式語義學(xué)”，“機(jī)器學(xué)習(xí)”等碩士研究生課程，共指導(dǎo)碩士研究生20多名（已有17名獲得碩士學(xué)位），目前指導(dǎo)博士生2名。
劉椿年教授積極從事國際學(xué)術(shù)交流活動，與挪威，日本等國的同行保持著長期的學(xué)術(shù)交流和合作研究關(guān)系，擔(dān)任過8個國際學(xué)術(shù)會議的程序委員會委員，應(yīng)邀在日本，美國，挪威，香港的若大學(xué)作過學(xué)術(shù)報告。1994－ 1995年曾受聘為澳門大學(xué)教學(xué)工作校外督察員。

劉椿年 - 研究方向：

網(wǎng)上智能；
數(shù)據(jù)挖掘；
約束程序設(shè)計