中国人工智能研究领域开拓者刘叙华教授逝世享年84岁

数据猿报道2020年5月11日15时31分,中国出名的计较机科学家,中国人工智能研究范畴的开辟者,吉林大学计较机科学系奠定人之一,吉林大学计较机科学与手艺学院传授,博士生导师刘叙华与世长辞。

刘叙华,也是无党派人士,第八届全国政协委员。刘叙华传授1937年3月生于黑龙江哈尔滨市,1961年吉林大学数学系结业后留校任教,1985至1986年在美国依利诺大学计较机系作拜候学者。

刘叙华曾任吉林大学计较机科学研究所所长、教育部符号计较与学问工程开放尝试室(吉林大学)主任、中国计较机学会理事、人工智能专业委员会副主任、全国高校人工智能研究会会长、国度天然科学基金委员会计较机学科构成员、国度教委科技委员会计较机学科构成员、国度高手艺智能计较机研究与开辟核心学术委员会委员、中国系统工程学会恍惚数学学会常务理事、吉林省计较机学会理事长。

刘叙华传授在定理机械证明和主动推理等人工智能研究范畴进行了深切和具有开创性的研究,两次获国度教委科技前进二等奖。

在讲授方面,刘叙华传授辛勤耕作,培育了一批栋梁之材,是同窗们很是钦慕的好教员。著有《离散数学》、《定理机械证明》、《数理逻辑根本》和《基于归结方式的主动推理》等著作。获国度教委优良科技功效奖1次;获吉林省优良图书二等奖1次,获吉林省优良讲授功效二等奖1次、三等奖1次。

更多精彩报道,尽在https://www.touch-target.com

发表评论

电子邮件地址不会被公开。 必填项已用*标注