报告题目：先生向北，智启未来——王湘浩先生的传奇科学人生与中国人工智能的奠基、发展与传承

主讲人：张永刚

讲座时间：2026 年 10 月 28 日下午 14:00

讲座地点：图书馆团风报告厅

主办单位：长春大学计算机科学技术学院

报告人学术简介：

张永刚，中共党员，吉林大学计算机科学与技术学院、网络安全学院副院长、教授、博士生导师，符号计算与知识工程教育部重点实验室副主任。1998 年毕业于吉林大学计算机科学系计算机软件专业，2005 年获吉林大学计算机软件与理论博士学位，后于吉林大学数学所完成博士后研究。曾赴法国蒙彼利埃大学 LIRMM 实验室、加拿大新不伦瑞克大学、意大利特伦托大学访问进修。主要研究方向为约束求解与优化(Constraint Programming)、学习推理方法与人工智能，主持国家自然科学基金面上项目等多项课题，发表学术论文近 100 篇，主讲离散数学、组合数学、人工智能原理等课程，作为副主编编写 101 计划教材 1 本，获国家教学成果二等奖 1 项。兼任中国人工智能学会人工智能逻辑专委会副主任委员、ACM中国长春分会秘书长。

观点综述:

回顾王湘浩先生的传奇科学人生：青年时期他留学普林斯顿，师从数学大师阿廷，发现格伦瓦尔定理之误并确立 "格伦瓦尔 — 王定理"，跻身世界一流数学家之列；1949 年他谢绝挽留，毅然归国北上，在吉林大学筚路蓝缕开创计算机学科，成为中国计算机科学与人工智能教育的重要奠基人。报告以国际人工智能七十年发展为时代坐标，梳理先生从代数数论到计算机科学的学术开拓与育人实践，重温老一辈科学家 "向北" 报国的赤子情怀，并以此激励后学继往开来，在新一代人工智能浪潮中传承薪火、勇担使命。