中国著名计算机科学家刘叙华逝世,享年84岁

澎湃新闻首席记者 岳怀让

2020-05-13 07:28 来源:澎湃新闻

字号
澎湃新闻记者从吉林大学符号计算与知识工程教育部重点实验室方面获悉,中国著名的计算机科学家,中国人工智能研究领域的开拓者,无党派人士,第八届全国政协委员,吉林大学计算机科学系奠基人之一,吉林大学计算机科学与技术学院教授,博士生导师刘叙华同志,于2020年5月11日15时31分逝世,享年84岁。
公开资料显示,刘叙华1937年3月生于黑龙江哈尔滨市,1961年吉林大学数学系毕业后留校任教,1985至1986年在美国伊利诺伊大学计算机系作访问学者。曾任吉林大学计算机科学研究所所长、教育部符号计算与知识工程开放实验室(吉林大学)主任、中国计算机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、国家自然科学基金委员会计算机学科组成员、国家教委科技委员会计算机学科组成员、国家高技术智能计算机研究与开发中心学术委员会委员、中国系统工程学会模糊数学学会常务理事、吉林省计算机学会理事长。
刘叙华在定理机器证明和自动推理等人工智能研究领域进行了深入和具有开创性的研究,发表具有国际影响力的论文50余篇,两次获国家教委科技进步二等奖。在教学方面,刘叙华教授辛勤耕耘,培育了一批栋梁之材,是同学们非常景仰的好老师。著有《离散数学》、《定理机器证明》、《模糊逻辑与推理》、《数理逻辑基础》和《基于归结方法的自动推理》等著作。获国家教委优秀科技成果奖1次;获吉林省优秀图书二等奖1次,获吉林省优秀教学成果二等奖1次、三等奖1次。
1976年吉林大学计算机科学系成立,刘叙华教授即跟随王湘浩院士投身计算机科学系的建设,为我国计算机学科的发展兢兢业业、呕心沥血,做出了卓越贡献。
(本文来自澎湃新闻,更多原创资讯请下载“澎湃新闻”APP)
责任编辑:蒋晨锐
校对:丁晓
澎湃新闻报料:4009-20-4009   澎湃新闻,未经授权不得转载
关键词 >> 学者逝世,计算机科学家,刘叙华

相关推荐

评论(3)

热新闻

澎湃新闻APP下载

客户端下载

热话题

关于澎湃 在澎湃工作 联系我们 广告及合作 版权声明 隐私政策 友情链接 澎湃新闻举报受理和处置办法 严正声明