人物生平

刘叙华1937年3月生于黑龙江哈尔滨市，1961年吉林大学数学系毕业后留校任教，1985至1986年在美国伊利诺伊大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室（吉林大学）主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、中国系统工程学会模糊数学学会常务理事、吉林省计算机学会理事长。

主要作品

著有《离散数学》《定理机器证明》《模糊逻辑与推理》《数理逻辑基础》和《基于归结方法的自动推理》等著作。

主要荣誉

他在定理机器证明和自动推理等人工智能研究领域进行了深入和具有开创性的研究，发表具有国际影响力的论文50余篇，两次获国家教委科技进步二等奖。

获国家教委优秀科技成果奖1次；获国家教委科技进步二等奖2次；获吉林省优秀图书二等奖1次，获吉林省优秀教学成果二等奖1次、三等奖1次。

人物逝世

2020年5月11日15时31分逝世，享年84岁。1

参考资料