刘叙华

刘叙华（1937年3月-2020年5月11日），出生于黑龙江哈尔滨市，中国计算机科学家，中国人工智能研究领域的开拓者，第八届全国政协委员，吉林大学计算机科学系奠基人之一，吉林大学计算机科学与技术学院教授，博士生导师。1961年吉林大学数学系毕业后留校任教，1985至1986年在美国依利诺大学计算机系作访问学者。在定理机器证明和自动推理等人工智能研究领域进行了深入和具有开创性的研究。2020年5月11日15时31分，刘叙华逝世，享年84岁。1937年3月生于黑龙江哈尔滨市。