刘叙华(1937年3月-2020年5月11日),出生于
黑龙江省哈尔滨市,1961年
吉林大学数学系毕业后留校任教,1985至1986年在美国依利诺大学计算机系作
访问学者。中国著名计算机科学家。
1976年吉林大学计算机科学系成立,刘叙华教授即跟随
王湘浩院士投身计算机科学系的建设,为我国计算机学科的发展兢兢业业、呕心沥血,做出了卓越贡献。
曾任
吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室(吉林大学)主任、
中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、中国系统工程学会模糊数学学会常务理事、
吉林省计算机学会理事长。
刘叙华在
定理机器证明和自动推理等
人工智慧研究领域进行了深入和具有开创性的研究,发表具有国际影响力的论文50余篇,两次获国家教委科技进步
二等奖。在教学方面,刘叙华教授辛勤耕耘,培育了一批栋梁之材,是同学们非常景仰的好老师。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。获国家教委优秀
科技成果奖1次;获吉林省优秀图书二等奖1次,获吉林省优秀教学成果二等奖1次、
三等奖1次。