中國著名計算機科學家劉敍華逝世，享年84歲

本文轉自【澎湃新聞】；

澎湃新聞記者從吉林大學符號計算與知識工程教育部重點實驗室方面獲悉，中國著名的計算機科學家，中國人工智能研究領域的開拓者，無黨派人士，第八屆全國政協委員，吉林大學計算機科學系奠基人之一，吉林大學計算機科學與技術學院教授，博士生導師劉敍華同志，於2020年5月11日15時31分逝世，享年84歲。

公開資料顯示，劉敍華1937年3月生於黑龍江哈爾濱市，1961年吉林大學數學系畢業後留校任教，1985至1986年在美國依利諾大學計算機系作訪問學者。曾任吉林大學計算機科學研究所所長、教育部符號計算與知識工程開放實驗室（吉林大學）主任、中國計算機學會理事、人工智能專業委員會副主任、全國高校人工智能研究會會長、國家自然科學基金委員會計算機學科組成員、國家教委科技委員會計算機學科組成員、國家高技術智能計算機研究與開發中心學術委員會委員、中國系統工程學會模糊數學學會常務理事、吉林省計算機學會理事長。

劉敍華在定理機器證明和自動推理等人工智能研究領域進行了深入和具有開創性的研究，發表具有國際影響力的論文50餘篇，兩次獲國家教委科技進步二等獎。在教學方面，劉敍華教授辛勤耕耘，培育了一批棟樑之材，是同學們非常景仰的好老師。著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國家教委優秀科技成果獎1次；獲吉林省優秀圖書二等獎1次，獲吉林省優秀教學成果二等獎1次、三等獎1次。

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