5月8日下午，应我院邀请，加拿大曼尼托巴大学张扬教授在328会议室为我院师生作了题为“Automated Deductions in Ring and Group Theory”（环论与群论中的自动推理）的精彩学术报告。报告会由杨水平院长主持，代数讨论班全体成员及相关研究方向教师、学生代表参加了此次学术活动。杨水平院长首先对张扬教授的到来表示热烈欢迎，并向与会师生介绍了张扬教授的学术履历与科研成就。
报告中，张扬教授围绕自动定理证明在环论与群论中的应用这一核心主题，系统介绍了自动推理工具的发展历程、理论基础与前沿研究成果。
与会师生就Prover9的推理策略、自动证明与人类证明的关系、AI辅助证明等问题与张扬教授展开了热烈讨论。杨水平院长在总结发言中特别强调了当前人工智能在自动推理证明领域的前沿进展。此次学术报告内容丰富、视野前沿，不仅增进了我院师生对自动定理证明这一交叉领域的了解，也为后续在计算机代数方向的学术合作奠定了良好基础。
报告结束后，张扬教授与学院代数团队就代数类课程建设，围绕AI工具辅助教学设计、教学评价等方面展开了深入探讨。
据悉，张扬教授是国际著名的加籍华裔计算机代数专家，现任加拿大曼尼托巴大学终身教授、博士生导师。主要研究矩阵和张量计算、计算机代数、符号计算及其应用。在自动化顶级期刊Automatica、代数学顶级刊物Journal of Algebra等期刊上发表SCI论文70多篇，在Springer出版社出版专著1部。张扬教授的研究得到了加拿大国家自然科学和工程基金连续资助。
撰稿：张文超
图片：陈伽
审核：赵显贵
