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