第一场

报告题目：环和群论中的自动推导

主讲嘉宾：张扬 教授

报告时间：2025年6月7日上午8:00-9:30

报告地点：北主楼1204

主讲嘉宾简介：张扬，男，博士, 教授。于加拿大西安大略大学获得博士学位，目前为加拿大曼尼托巴大学数学系终身教授。曾任Springer旗下SCI杂志Journal of System Science and Complexity编委，现任加拿大国家自然科学和工程基金委计算机学部会评专家。主要研究矩阵代数、计算机代数、符号计算及其应用。已在国际自动化顶级期刊Automatica等期刊上发表SCI论文60多篇，在Springer出版社出版专著1部，研究工作一直得到加拿大国家自然科学和工程基金委员会的连续资助。主要研究方向是环理论，计算机代数，自动推理证明，矩阵和张量理论等。

第二场

报告题目：指示函数及其一些应用

主讲嘉宾：杨钋 教授

报告时间：2025年6月7日上午9:30-11:00

报告地点：北主楼1204

主讲嘉宾简介：杨钋，女，博士，教授。于麦克马斯特大学获得博士学位,曾任教于芝加哥的德保罗大学。现任加拿大曼尼托巴大学统计系的终身教授，副系主任，主管研究生工作。主要研究方向是实验设计与数据分析，区组设计，响应优化和贝叶斯方法。曾在Statistica  Sinica 和Journal of Quality Technology等国际知名期刊发表学术论文，她的研究一直受到加拿大国家自然科学和工程基金的资助。现任Taylor &Francis online 旗下的杂志Communications in Statistics编委。

第三场

报告题目：求解广义四元数矩阵方程 AXB + CX⋆D = E

主讲嘉宾：刘新 副教授

报告时间：2025年6月7日上午11:00-12:30

报告地点：北主楼1204

主讲嘉宾简介：刘新，女，博士, 副教授，澳门科技大学博士生导师。师从上海大学王卿文教授、瑞士洛桑联邦理工大学Daniel Kressner教授（国家基金委联合培养期间，计算数学）。在Journal of Scientific Computing，Numerical Linear Algebra with Applications等国内外重要学术刊物上与国内外专家合作发表SCI学术论文30余篇，与多位线性代数专家合著书籍一部(Springer出版社)，且主持了5项高度相关的科研项目。主要研究方向是广义四元数上的矩阵、张量理论及其在图像和信号处理中的应用。

欢迎感兴趣的老师和学生参加！

数学与计算科学学院

2025年5月30日