劉敘華（1937年3月-2020年5月11日），出生于黑龍江省哈爾濱市，1961年吉林大學(xué)數(shù)學(xué)系畢業(yè)后留校任教，1985至1986年在美國(guó)依利諾大學(xué)計(jì)算機(jī)系作訪問(wèn)學(xué)者。中國(guó)著名計(jì)算機(jī)科學(xué)家。
2020年5月11日，劉敘華去世，享年84歲。
人物生平
1961年吉林大學(xué)數(shù)學(xué)系畢業(yè)后留校任教。
1976年吉林大學(xué)計(jì)算機(jī)科學(xué)系成立，劉敘華教授即跟隨王湘浩院士投身計(jì)算機(jī)科學(xué)系的建設(shè)，為我國(guó)計(jì)算機(jī)學(xué)科的發(fā)展兢兢業(yè)業(yè)、嘔心瀝血，做出了卓越貢獻(xiàn)。
1985至1986年在美國(guó)依利諾大學(xué)計(jì)算機(jī)系作訪問(wèn)學(xué)者。
曾任吉林大學(xué)計(jì)算機(jī)科學(xué)研究所所長(zhǎng)、教育部符號(hào)計(jì)算與知識(shí)工程開放實(shí)驗(yàn)室（吉林大學(xué)）主任、中國(guó)計(jì)算機(jī)學(xué)會(huì)理事、人工智能專業(yè)委員會(huì)副主任、全國(guó)高校人工智能研究會(huì)會(huì)長(zhǎng)、國(guó)家自然科學(xué)基金委員會(huì)計(jì)算機(jī)學(xué)科組成員、國(guó)家教委科技委員會(huì)計(jì)算機(jī)學(xué)科組成員、國(guó)家高技術(shù)智能計(jì)算機(jī)研究與開發(fā)中心學(xué)術(shù)委員會(huì)委員、中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)學(xué)會(huì)常務(wù)理事、吉林省計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)。
人物成就
劉敘華在定理機(jī)器證明和自動(dòng)推理等人工智慧研究領(lǐng)域進(jìn)行了深入和具有開創(chuàng)性的研究，發(fā)表具有國(guó)際影響力的論文50余篇，兩次獲國(guó)家教委科技進(jìn)步二等獎(jiǎng)。在教學(xué)方面，劉敘華教授辛勤耕耘，培育了一批棟梁之材，是同學(xué)們非常景仰的好老師。著有《離散數(shù)學(xué)》、《定理機(jī)器證明》、《模糊邏輯與推理》、《數(shù)理邏輯基礎(chǔ)》和《基于歸結(jié)方法的自動(dòng)推理》等著作。獲國(guó)家教委優(yōu)秀科技成果獎(jiǎng)1次；獲吉林省優(yōu)秀圖書二等獎(jiǎng)1次，獲吉林省優(yōu)秀教學(xué)成果二等獎(jiǎng)1次、三等獎(jiǎng)1次。
人物逝世
2020年5月11日，劉敘華去世，享年84歲。
參考資料 >
中國(guó)著名計(jì)算機(jī)科學(xué)家劉敘華逝世，享年84歲.澎湃新聞.2020-05-13