劉敘華

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

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

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

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

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

2020年5月11日，劉敘華去世，享年84歲。