大会邀请报告
按姓氏笔画排序
董 彬
北京大学
报告题目：AI for Mathematic：数学的数字化与智能化 (摘要)
董彬，北京大学博雅特聘教授，任职北京大学北京国际数学研究中心，兼任北京中关村学院常务副院长、北京大学国际机器学习研究中心副主任、北京大学长沙计算与数字经济研究院副院长、国家生物医学成像科学中心研究员。2003年本科毕业于北京大学数学科学学院、2005年在新加坡国立大学数学系获得硕士学位、2009年在美国加州大学洛杉矶分校数学系获得博士学位。博士毕业后曾在美国加州大学圣迭戈分校数学系任访问助理教授、2011－2014年在美国亚利桑那大学数学系任助理教授，2014年底入职北京大学。 主要研究领域为机器学习、科学计算和计算成像。董彬和合作者一起揭示了偏微分方程与小波之间的深层联系,改变了领域对这两类方法的一些既定认识,并启发了解决复杂的计算成像问题的新算法。此外,董彬团队还建立了微分方程和深层神经网络的联系,由此发展了一种机理与数据融合的方法论,以应对更具挑战性的科学计算问题。在应用落地方面，针对肿瘤诊疗问题，研发了一系列新的定量和定性分析算法和工具，在三甲医院得到推广，部分科研成果已实现转化。董彬于2014年获得求是杰出青年学者奖，2022年受邀在世界数学家大会（ICM）做45分钟报告，2023年入选新基石研究员项目，同年获得王选杰出青年学者奖，2027年受邀在国际工业与应用数学大会（ICIAM）做邀请报告
高小山
中国科学院数学与系统科学研究院
报告题目：深度学习泛化与安全的数学理论 (摘要)
高小山, 中国科学院数学与系统科学研究院研究员，国家数学与交叉科学中心执行主任，主要从事数学机械化与人工智能数学理论研究，在定理可读证明、几何约束求解、微分系统机器证明、深度学习数学理论等方面取得重要成果。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、求是杰出青年学者奖等奖励。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人，获国家基金委杰青项目资助。
何德彪
武汉大学
报告题目：SecureGPT: GPT模型的隐私保护安全多方推理 (摘要)
何德彪，武汉大学国家网络安全学院教授/博导，湖北省区块链技术创新研究院常务副院长。长期从事密码学、数据安全、区块链技术等领域的研究工作；入选全球高被引科学家和中国高被引学者；主持国家杰出青年科学基金、国家重点研发计划、国家自然科学基金联合基金重点、湖北省重大研究计划等科研项目30余项；获教育部自然科学奖一等奖、湖北省自然科学奖二等奖等省部级奖励4项；在IEEE TIFS、IEEE TDSC、PKC、CHES等国内外知名期刊/会议上发表学术论文200余篇，谷歌学术引用次数超过2万次；获IEEE Systems Journal、IET Information Security、MSN等国内外知名期刊/会议最佳论文奖6项；担任IEEE Transactions on Computers、Science China-Information Sciences、密码学报等多个国内外知名期刊的编委；担任国家自然科学基金会评专家、国家重点研发计划视频答辩专家、湖北省商用密码协会会长等学术职务。
王定康
中国科学院数学与系统科学研究院
报告题目：Comprehensive Groebner System: Algorithms and Applications (摘要)
王定康，中国科学院数学与系统科学研究院研究员，博士生导师。主要从事计算机代数领域中的几何定理机器证明、多项式系统求解理论与算法设计、多项式矩阵分解与等价等问题的研究，成果丰硕。与合作者解决了空间几何“金字塔”问题、著名数学家Zassenhaus提出的几何问题以及代数曲面光滑拼接问题；设计了计算参数Groebner系统的高效算法，并基于此提出了几何定理自动发现的新方法；给出了任意项序下多项式系统的签名标准基算法；解决了与著名的Quillen-Suslin定理密切相关的多项式矩阵分解与等价中的一些关键问题，并给出了相应的计算方法。此外，在多个国际会议上作大会邀请报告，在符号计算的顶级国际会议和杂志上发表了30多篇的高质量学术论文。
吴文渊
中国科学院重庆绿色智能技术研究院
报告题目：生物数据安全处理中的数学问题与医学应用 (摘要)
吴文渊，研究员，博导，自动推理与认知中心主任。1999年于北京大学数学学院获得学士学位，2002年于中国科学院研究生院获得计算机硕士学位，2007年8月在加拿大西安大略大学应用数学系获博士学位，而后师从李天岩教授在美国密西根大学做博士后从事同伦方法的研究，2011年加入中国科学院重庆绿色智能技术研究院。主要从事自动推理、密码学、隐私计算等领域研究，已经主持完成国家自然科学基金两项，中国科学院西部之光联合学者项目一项，中国科学院前沿重点项目一项，重庆市院士专项五项。 曾担任全国计算机数学第6届会议组织委员会主席，国际SNC‘14会议程序委员会委员等学术职务。共发表论文60余篇，包括Foundations of Computational Mathematics，Math. Comp. Theoretical Computer Science，IEEE TIFS、SIAM J. ADS，以及国内的中国科学、系统科学与复杂性学报、软件学报等SCI期刊论文30篇。目前担任中国数学会计算机数学专业委员会委员，中国密码学会大数据与人工智能安全专业委员会委员, 美国Math Review专业评论员、SCI期刊JSSC编委，入选2022年度重庆英才-创新领军人才。近年来专注于基于同态加密的机器学习研究，组织团队承担国家重大研究计划项目“隐私保护数据处理的数学方法”的子课题，并把研究成果应用于生物医学数据隐私保护的模型训练和密文推理，带领团队多次参加美国NIH主办的iDash国际隐私计算比赛，2024年获得同态赛道冠军。
青年邀请报告
按姓氏笔画排序
光 炫
南开大学
光 炫，南开大学数学科学学院教授；入选国家青年人才项目、香江学者计划和南开大学百名青年学科带头人培养计划。2012年毕业于南开大学陈省身数学研究所，获博士学位，曾在美国南加州大学及香港中文大学从事研究工作近5年。研究兴趣为信息论、编码理论与密码学；目前的研究方向为面向函数计算的信息论和编码。近年来在Springer出版一部学术专著；发表学术论文60余篇，其中在信息论、安全和通信理论的权威期刊和会议上发表论文30余篇，包括IEEE Trans. Inf. Theory, IEEE J. Sel. Areas Inf. Theory, IEEE J. Sel. Areas Commun., IEEE Trans. Inf. Foren. Sec., USENIX Security,《中国科学》等，研究成果获多个国内外会议的最佳论文奖。2021获天津数学与统计“青年学者奖”；2018 年获得中国电子学会“信息论青年新星奖”；2016 年获“香江学者奖”等。主持重点研发计划课题、基础加强重点研究课题、基金委国际合作研究项目等省部级基金项目9项，企业科技项目2项，获田家炳教育基金资助。
姜 鑫
北京航空航天大学
姜 鑫，北航人工智能学院副教授、博导。德国海德堡大学DAAD学者、美国西北大学ESAM访问学者。以主要完成人身份获教育部自然科学一等奖、国家高等教育教学成果一等奖等，发表论文50余篇，包括 ACM TOG、IEEE TKDE、IEEE TII、RCIM、JMP、PRL等行业期刊及SIGGRAPH、EuroGraphics等会议。目前任数学、信息与行为教育部重点实验室副主任、复杂关键软件环境全国重点实验室骨干成员，研究方向为计算机辅助制造、数控加工、人工智能与工业大数据等。
李 科
哈尔滨工业大学
李 科，哈尔滨工业大学数学研究院教授，博士生导师。他分别于2004年和2009年在中国科学技术大学获得学士和博士学位，其后在新加坡国立大学、IBM Watson研究中心、麻省理工学院、加州理工学院从事研究工作，2017年回国加入哈尔滨工业大学，入选国家高层次青年人才计划。在 Nature Physics、Physical Review Letters、Communications in Mathematical Physics、IEEE Transactions on Information Theory、Annals of Statistics 等国际权威期刊上发表论文十余篇。李科的研究兴趣为量子信息理论。
林 乾
清华大学
林 乾，清华大学统计与数据科学系长聘副教授。 2010年在麻省理工大学数学系获得博士学位，2017年8月至今在清华大学任教。主要研究方向为高维充分性降维方法，机器学习中的核方法，深度学习的数学理论等。多项成果在统计学和人工智能重要期刊“Annals of Statistics”，“ Journal of the American Statistical Association”， “Journal of Machine Learning Research”， 以及重要会议NeurlPS, ICLR, ICML等上发表。
王安宇
清华大学
王安宇，清华大学高等研究院研究员，主要从事抗量子计算攻击密码和隐私计算研究，在密码三大顶会、TIT等高水平刊物上发表十余篇论文，获亚密会2023最佳论文奖，2016年入选中国科协“青年人才托举工程”，主持或作为项目骨干参与了国家自然科学基金、科技部重点研发计划多等多个国家级项目。
汪荣华
天津工业大学
汪荣华，天津工业大学副教授，硕士生导师。主要研究方向为组合数学与符号计算，在《Advances in Applied Mathematics》、《Journal of Symbolic Computation》、《Journal of Number Theory》等期刊发表论文十余篇，主持完成国家自然科学基金青年项目、天津市自然科学基金、中科院数学机械化重点实验室开放课题。中国数学会计算机数学专业委员会委员，天津市工业与应用数学学会理事。
魏小东
上海交通大学
魏小东，上海交通大学密西根学院副教授，博士生导师，入选国家海外优青项目（B类），上海市领军人才（海外）。美国卡内基梅隆大学机械工程系博士，瑞士洛桑联邦理工大学数学系博士后。研究领域为等几何分析、新型样条、网格生成、拓扑优化、AI协同型计算力学。在CMAME、SIAM等期刊发表论文20余篇。先后受邀在美国计算力学大会、德国数学研究中心Oberwolfach、多伦多大学几何论坛等进行学术报告，并长期担任CMAME、CAD、IJNME、EWCO等期刊审稿人。主持基金委青年项目、企业合作项目，并参与基金委重大项目。
杨志红
中南大学
杨志红，中南大学讲师，博士毕业于中国科学院数学与系统科学研究院，曾在北卡州立大学从事博士后研究工作。研究领域为符号计算，主要研究方向包括实代数几何、稀疏插值及其在纠错码中的应用。
张 熠
西交利物浦大学