报告一：基于全同态加密的隐私保护计算技术概述
报 告 人：李洪波
报告时间：2023年5月27日（周六）上午9:10-9:55
报告地点：B403
主办单位：金融与数学学院
报告人简介：中国科学院数学与系统科学研究院关肇直冠名研究员，中国科学院系统科学研究所所长，中国数学会计算机数学专业委员会主任，中国工业与应用数学会常务理事。主要研究方向包括几何代数、自动推理、隐私保护数据处理等，曾获国家杰出青年科学基金、香港求是杰出青年学者奖、ACM/ISSAC杰出论文奖等。
报告二：学算之问
报 告 人：王友德
报告时间：2023年5月27日（周六）上午10:20
报告地点：B403
主办单位：金融与数学学院
报告人简介：王友德教授系中国科学院数学与系统科学研究院研究员，广州大学教授。研究领域为基础数学，具体研究方向为几何分析与偏微分方程。王友德在调和映射、几何流及其相关问题上进行了长期的研究。他独立于阿贝尔奖获得者、美国科学院院士、世界著名数学家K. Uhlenbeck等人，在九十年代中期与我国已故著名数学家丁伟岳院士一起，从无穷维辛几何的观点提出从一个黎曼流形进入辛流形的薛定谔流，并研究了此种流的局部存在性与唯一性。此项工作在国际上引起反响及引发一系列后续研究，并取得了一系列具有im体育网站价值的成果。后来他又带领学生提出所谓的进入凯勒流形的几何KdV等新的几何流并进行了存在性与唯一性的研究。与合作者建立了此种几何流与经典可积系统之间的一些内在关系与规范等价性。另一方面，他与合作者深刻研究了从一个紧黎曼面进入另一黎曼流形的阿尔法调和映射序列的紧致性，当吹泡泡现象发生时，就阿尔法调和映射序列在其吹泡泡时是否满足能量恒等式这一问题给出了充分必要条件，并给出反例说明一般地能量恒等式不成立，从而彻底解决了这一悬而未决二十多年的公开问题。王友德于2000年获得国家杰出青年资助，后又入选百千万工程国家级人选，享受国务院津贴。
报告三：Prove and Discover Geometric Theorems Mechanically by Using Comprehensive Groebner System
报 告 人：王定康
报告时间：2023年5月27日（周六）上午11:05
报告地点：B403
主办单位：金融与数学学院
报告人简介：中国科学院数学与系统科学研究院,研究员；研究领域：几何定理自动证明与发现，参数Groebner基, 签名Groebner基算法，矩阵分解(其中元素是多变元多项式)。
报告四：面向等几何分析的样条技术
报 告 人：李新
报告时间：2023年5月27日（周六）上午11:35
报告地点：B403
主办单位：金融与数学学院
报告人简介：中国科学技术大学数学科学学院教授，中科院吴文俊数学重点实验室成员，河南省应用数学中心成员，辽宁省智库专家。十几年来，申请人主要研究如何利用等几何分析，建立新的几何表示理论和算法，用来解决计算机辅助设计和工程一体化。获得全国优博，教育部科技二等奖，中国工业与应用数学学会优秀青年学者奖，并入选中科院创新促进会优秀会员。主持或者参加军科委国防创新项目、国家重点研发计划项目，基金委重点等过个项目。目前担任国际期刊Scientific Report编委，中国数学会计算机数学专业委员会、中国工业与应用数学学会几何设计与计算专业委员会、CCF计算机辅助设计与图形学专业委员会。
报告五：Galois groups of linear difference-differential equations
报 告 人：冯如勇
报告时间：2023年5月27日（周六）下午14:00
报告地点：B403
主办单位：金融与数学学院
报告人简介：研究员，2000年于中国科学技术大学获得学士学位，2005年在中国科学院数学与系统科学研究院获得博士学位，特别是微分差分方程的符号求解，Zeilberger算法的终止性问题以及微分／差分Galois理论中的正问题与反问题等方面。于2010年获得中科院系统科学研究所关肇直青年研究奖、2014年获得中科院数学与系统科学研究院突出科研成果奖，2017年获得首届吴文俊计算机数学青年学者奖。
报告六：On the Gröbner Bases of Schubert Determinantal Ideals
报 告 人：牟晨琪
报告时间：2023年5月27日（周六）下午14:30
报告地点：B403
主办单位：金融与数学学院
报告人简介：北京航空航天大学数学科学学院副教授，研究兴趣为符号计算及其应用。在Mathematics of Computation、Journal of Symbolic Computation等国际期刊和ISSAC等国际会议序列中发表论文20余篇，现任《Journal of Systems Science and Complexity》《Mathematics in Computer Science》和《系统科学与数学》等im体育网站期刊的编委会委员。他在北京航空航天大学主讲的本研一体课“计算机代数”获批校级研究生精品课，所用教材《多项式代数》获北航教学成果奖一等奖，曾获北航研究生课程卓越教学奖。
报告七：Dynamics of P-recursive Sequences
报 告 人：陈绍示
报告时间：2023年5月27日（周六）下午15:30
报告地点：B403
主办单位：金融与数学学院
报告人简介：现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，计算微分代数与组合数学。2019年与合作者解决了组合中的Wilf-Zeilberger猜想，并发展了组合恒等式机器证明的第四代算法。近几年主要研究组合恒等式自动发现与多变元幂级数的算术理论。目前担任Annals of Cobinatorics,Journal of Difference Equations and Applications,ACM Communications in Computer Algebra,Maple Transactions,Journal of Systems Science and Complexity,和《系统科学与数学》等杂志编委，并担任ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长，曾获得第二届“吴文俊计算机数学青年学者奖”(2019)，第46届国际符号与代数计算年会(ISSAC2021)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。
报告八：On the probability of generating a primitive matrix
报 告 人：陈经纬
报告时间：2023年5月27日（周六）下午16:00
报告地点：B403
主办单位：金融与数学学院
报告人简介：中国科学院重庆绿色智能技术研究院副研究员，法国国家科研中心（CNRS）并行计算实验室（LIP）、加拿大菲尔兹（Fields）研究所访问学者，中科院青年促进会会员，入选中科院“西部之光”计划。主要从事格的理论、算法与应用研究，尤其是与基于格的密码学相关的方向，主持或参与国家重点研发计划、国家自然科学基金、重庆市自然科学基金等科研项目10余项，发表在Math.Comput.,Sci.China,ISSAC等期刊或会议上的论文20余篇。