第一場(chǎng)
報(bào)告題目：環(huán)和群論中的自動(dòng)推導(dǎo)
主講嘉賓：張揚(yáng) 教授
報(bào)告時(shí)間：2025年6月7日上午8:00-9:30
報(bào)告地點(diǎn)：北主樓1204
主講嘉賓簡(jiǎn)介：張揚(yáng)，男，博士, 教授。于加拿大西安大略大學(xué)獲得博士學(xué)位，目前為加拿大曼尼托巴大學(xué)數(shù)學(xué)系終身教授。曾任Springer旗下SCI雜志Journal of System Science and Complexity編委，現(xiàn)任加拿大國(guó)家自然科學(xué)和工程基金委計(jì)算機(jī)學(xué)部會(huì)評(píng)專(zhuān)家。主要研究矩陣代數(shù)、計(jì)算機(jī)代數(shù)、符號(hào)計(jì)算及其應(yīng)用。已在國(guó)際自動(dòng)化頂級(jí)期刊Automatica等期刊上發(fā)表SCI論文60多篇，在Springer出版社出版專(zhuān)著1部，研究工作一直得到加拿大國(guó)家自然科學(xué)和工程基金委員會(huì)的連續(xù)資助。主要研究方向是環(huán)理論，計(jì)算機(jī)代數(shù)，自動(dòng)推理證明，矩陣和張量理論等。
第二場(chǎng)
報(bào)告題目：指示函數(shù)及其一些應(yīng)用
主講嘉賓：楊釙 教授
報(bào)告時(shí)間：2025年6月7日上午9:30-11:00
報(bào)告地點(diǎn)：北主樓1204
主講嘉賓簡(jiǎn)介：楊釙，女，博士，教授。于麥克馬斯特大學(xué)獲得博士學(xué)位,曾任教于芝加哥的德保羅大學(xué)。現(xiàn)任加拿大曼尼托巴大學(xué)統(tǒng)計(jì)系的終身教授，副系主任，主管研究生工作。主要研究方向是實(shí)驗(yàn)設(shè)計(jì)與數(shù)據(jù)分析，區(qū)組設(shè)計(jì)，響應(yīng)優(yōu)化和貝葉斯方法。曾在Statistica Sinica 和Journal of Quality Technology等國(guó)際知名期刊發(fā)表學(xué)術(shù)論文，她的研究一直受到加拿大國(guó)家自然科學(xué)和工程基金的資助?，F(xiàn)任Taylor &Francis online 旗下的雜志Communications in Statistics編委。
第三場(chǎng)
報(bào)告題目：求解廣義四元數(shù)矩陣方程 AXB + CX?D = E
主講嘉賓：劉新 副教授
報(bào)告時(shí)間：2025年6月7日上午11:00-12:30
報(bào)告地點(diǎn)：北主樓1204
主講嘉賓簡(jiǎn)介：劉新，女，博士, 副教授，澳門(mén)科技大學(xué)博士生導(dǎo)師。師從上海大學(xué)王卿文教授、瑞士洛桑聯(lián)邦理工大學(xué)Daniel Kressner教授（國(guó)家基金委聯(lián)合培養(yǎng)期間，計(jì)算數(shù)學(xué)）。在Journal of Scientific Computing，Numerical Linear Algebra with Applications等國(guó)內(nèi)外重要學(xué)術(shù)刊物上與國(guó)內(nèi)外專(zhuān)家合作發(fā)表SCI學(xué)術(shù)論文30余篇，與多位線(xiàn)性代數(shù)專(zhuān)家合著書(shū)籍一部(Springer出版社)，且主持了5項(xiàng)高度相關(guān)的科研項(xiàng)目。主要研究方向是廣義四元數(shù)上的矩陣、張量理論及其在圖像和信號(hào)處理中的應(yīng)用。
歡迎感興趣的老師和學(xué)生參加！
數(shù)學(xué)與計(jì)算科學(xué)學(xué)院
2025年5月30日
