5月23日，應數(shù)學科學學院邀請，華東師范大學陳儀香教授、陜西師范大學李永明教授分別來校作學術報告。報告會由數(shù)學科學學院陳文娟教授主持，學院部分教師、研究生聽取報告。

報告中，陳儀香教授作了題為《人工智能的可信性》的學術報告，介紹了人工智能的發(fā)展歷程、基于神經網(wǎng)絡的人工智能所面臨的問題以及研究團隊在可信人工智能領域取得的研究進展。李永明教授作了題為《形式冪級數(shù)的商（On Quotients of Formal Power Series）》的學術報告，介紹了形式冪級數(shù)的兩個商運算的定義，以及利用這些運算為每個形式冪級數(shù)構造的兩個加權自動機；概述了構造通用加權自動機的有效代數(shù)方法；最后指出了形式冪級數(shù)中存在的幾個公開問題。

期間，與會師生就人工智能可信性研究中的可解釋性以及完備c-半環(huán)的充要條件等提出相關問題，陳儀香教授和李永明教授分別給予耐心解答。兩位專家的報告內容豐富，深入淺出，前瞻性、啟發(fā)性強，與會師生普遍感到受益匪淺。

陳儀香教授，華東師范大學軟件工程學院教授，1995年獲首屆江蘇省普通高校中青年學術骨干稱號? 1999年獲上海市曙光學者稱號。曾任上海師范大學科技處處長、華東師范大學軟件學院副院長、教育部軟硬件協(xié)同設計技術與應用工程研究中心主任。從事智能系統(tǒng)的可信基礎研究工作：建立了具有時空一致性的智能系統(tǒng)規(guī)范語言STeC及其混成時鐘邏輯系統(tǒng)，設計了智能系統(tǒng)的軟硬件優(yōu)化設計技術方法，構建了基于多維屬性的軟件可信度量評估方法和增強規(guī)范，為我國在該領域處于國際先進水平做出了開拓性貢獻。承擔973、863研究項目、國家基金委以及國防基礎重點研究基礎項目10余項。榮獲教育部自然科學一等獎1項、北京市科技進步獎一等獎1項、中國計算機學會科技進步獎二等獎1項、上海市課程思政示范課程1項。出版國家自然科學基金研究成果專著1部，國家科學技術出版基金研究成果專著1部，發(fā)表學術論文100余篇?，F(xiàn)擔任中國系統(tǒng)科學學會模糊系統(tǒng)與模糊數(shù)學專委會副主任委員、上海市張江物聯(lián)網(wǎng)協(xié)會副會長、中國人工智能學會人工智能邏輯專委會（籌）執(zhí)行主任委員。

李永明教授，博士，陜西師范大學二級教授，博士生導師。主要研究方向為非經典計算理論、量子計算與量子信息、格上拓撲學。政府特殊津貼獲得者，教育部高校青年教師獎獲得者，陜西省三秦人才津貼獲得者。（曾）擔任國際IEEE計算智能模糊系統(tǒng)技術委員會委員，中國系統(tǒng)工程學會模糊系統(tǒng)與模糊數(shù)學委員會副主任委員，全國運籌學會智能計算學會副理事長，全國高等師范學校計算機教育委員會副理事長，中國計算機學會理論計算機學會理事，陜西省計算機學會常務理事，CCF（中國計算機學會）西安分部執(zhí)委。曾獲得陜西省科學技術獎，教育部高等學?？茖W研究優(yōu)秀成果獎自然科學獎等。

撰稿：吳立軍        編輯：趙華磊        編審：賈海寧