5月23日，应数学科学学院邀请，华东师范大学陈仪香教授、陕西师范大学李永明教授分别来校作学术报告。报告会由数学科学学院陈文娟教授主持，学院部分教师、研究生听取报告。

报告中，陈仪香教授作了题为《人工智能的可信性》的学术报告，介绍了人工智能的发展历程、基于神经网络的人工智能所面临的问题以及研究团队在可信人工智能领域取得的研究进展。李永明教授作了题为《形式幂级数的商（On Quotients of Formal Power Series）》的学术报告，介绍了形式幂级数的两个商运算的定义，以及利用这些运算为每个形式幂级数构造的两个加权自动机；概述了构造通用加权自动机的有效代数方法；最后指出了形式幂级数中存在的几个公开问题。

期间，与会师生就人工智能可信性研究中的可解释性以及完备c-半环的充要条件等提出相关问题，陈仪香教授和李永明教授分别给予耐心解答。两位专家的报告内容丰富，深入浅出，前瞻性、启发性强，与会师生普遍感到受益匪浅。

陈仪香教授，华东师范大学软件工程学院教授，1995年获首届江苏省普通高校中青年学术骨干称号‚ 1999年获上海市曙光学者称号。曾任上海师范大学科技处处长、华东师范大学软件学院副院长、教育部软硬件协同设计技术与应用工程研究中心主任。从事智能系统的可信基础研究工作：建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973、863研究项目、国家基金委以及国防基础重点研究基础项目10余项。荣获教育部自然科学一等奖1项、北京市科技进步奖一等奖1项、中国计算机学会科技进步奖二等奖1项、上海市课程思政示范课程1项。出版国家自然科学基金研究成果专著1部，国家科学技术出版基金研究成果专著1部，发表学术论文100余篇。现担任中国系统科学学会模糊系统与模糊数学专委会副主任委员、上海市张江物联网协会副会长、中国人工智能学会人工智能逻辑专委会（筹）执行主任委员。

李永明教授，博士，陕西师范大学二级教授，博士生导师。主要研究方向为非经典计算理论、量子计算与量子信息、格上拓扑学。政府特殊津贴获得者，教育部高校青年教师奖获得者，陕西省三秦人才津贴获得者。（曾）担任国际IEEE计算智能模糊系统技术委员会委员，中国系统工程学会模糊系统与模糊数学委员会副主任委员，全国运筹学会智能计算学会副理事长，全国高等师范学校计算机教育委员会副理事长，中国计算机学会理论计算机学会理事，陕西省计算机学会常务理事，CCF（中国计算机学会）西安分部执委。曾获得陕西省科学技术奖，教育部高等学校科学研究优秀成果奖自然科学奖等。

撰稿：吴立军        编辑：赵华磊        编审：贾海宁