劉敘華

劉敘華（1937年3月-2020年5月11日），出生於黑龍江哈爾濱市，中國計算機科學家，中國人工智慧研究領域的開拓者，第八屆全國政協委員，吉林大學計算機科學系奠基人之一，吉林大學計算機科學與技術學院教授，博士生導師。

1961年吉林大學數學系畢業後留校任教，1985至1986年在美國依利諾大學計算機系作訪問學者。在定理機器證明和自動推理等人工智慧研究領域進行了深入和具有開創性的研究。

2020年5月11日15時31分，劉敘華逝世，享年84歲。

基本介紹

• 中文名：劉敘華
• 國籍：中國
• 民族：漢族
• 出生地：黑龍江哈爾濱市
• 出生日期：1937年3月
• 逝世日期：2020年5月11日
• 職業：教師
• 畢業院校：吉林大學
• 性別：男

人物生平

1937年3月生於黑龍江哈爾濱市。

1961年吉林大學數學系畢業後留校任教。

1985至1986年在美國依利諾大學計算機系作訪問學者。

曾任吉林大學計算機科學研究所所長、教育部符號計算與知識工程開放實驗室（吉林大學）主任、中國計算機學會理事、人工智慧專業委員會副主任、全國高校人工智慧研究會會長、國家自然科學基金委員會計算機學科組成員、國家教委科技委員會計算機學科組成員、國家高技術智慧型計算機研究與開發中心學術委員會委員、中國系統工程學會模糊數學學會常務理事、吉林省計算機學會理事長。

主要成就

劉敘華在定理機器證明和自動推理等人工智慧研究領域進行了深入和具有開創性的研究，發表具有國際影響力的論文50餘篇，兩次獲國家教委科技進步二等獎。

在教學方面，劉敘華教授辛勤耕耘，培育了一批棟樑之材，是同學們非常景仰的好老師。著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國家教委優秀科技成果獎1次；獲吉林省優秀圖書二等獎1次，獲吉林省優秀教學成果二等獎1次、三等獎1次。

人物貢獻

1976年吉林大學計算機科學系成立，劉敘華教授即跟隨王湘浩院士投身計算機科學系的建設，為我國計算機學科的發展兢兢業業、嘔心瀝血，做出了卓越貢獻。