大会邀请报告

按姓氏笔画排序

丁剑

北京大学

报告题目:Recent progress on random graph matching problems (摘要)

        丁剑,北京大学数学科学学院讲席教授、博士生导师,大数据分析与应用技术国家工程实验室联聘教授。主要研究领域是概率论,尤其关注统计物理学与计算机科学的交叉。2002年至2006年就读于北京大学,获学士学位。此后赴美学习,于2011年获美国加州大学伯克利分校博士学位。曾任芝加哥大学统计系助理教授、副教授,宾夕法尼亚大学沃顿商学院副教授、Gilbert Helman 讲席教授。曾获Rollo Davidson Prize, Alfred P. Sloan Fellowship, NSF Career Award,第五届“科学探索奖”。受邀在2022年国际数学家大会作报告;在2023年作IMS Medallion Lecture;受邀在2024年度国际数学物理大会(ICMP2024)作大会报告。

王华雄

新加坡南洋理工大学

报告题目:Algebra, combinatorics and cryptography (摘要)

        王华雄, 新加坡南洋理工大学数学系教授、新加坡国家可信数字研究中心联合主任、隐私保护研究中心副主任。他是著名的密码学专家,拥有以色列海法大学数学博士学位和澳大利亚卧龙岗大学计算机科学博士学位,主要从事密码学、信息安全、组合数学、编码理论及理论计算机科学等交叉领域的研究。曾获得首届澳新计算机协会颁发的“最佳研究奖”,该奖项每年只颁发给一个人,是澳新两国对中年计算机科学家的最高奖项。他设计的两种多方安全算法被国际知名在线支付服务提供商PayPal采用并联合开发,同时为亚洲密码学会指导委员会成员(2020年、2021年任亚密会程序委员会联合主席),曾担任7次国际学术会议主席,9次国际杂志编委,100次国际会议程序委员会成员。

冯勇

中国科学院重庆绿色智能技术研究院

报告题目:零误差计算 (摘要)

        冯勇,中国科学院重庆绿色智能技术研究院,研究员,博士生导师,中国科学院重庆绿色智能技术研究院电子信息技术研究所所长、中国科学院大学重庆学院人工智能学院执行院长、重庆市电子学会副理事长。第三批重庆市学术技术带头人。现从事计算机推理与定理机器证明的研究工作,先后担任中国科学院三期知识创新工程重要方向项目“自动推理及其在高新技术领域中的应用”的首席科学家,国家973项目基于混合计算的误差可控算法负责人和自然科学基金重大研究计划的子项目负责人。在油藏数值模拟、盆地数值模拟、自适应光学仿真系统和信息安全的研究中取得重要成果,与张景中院士共同开创了自动推理中的零误差计算学科方向,在国内外本领域著名杂志和会议上发表学术论文60多篇。



邢朝平

上海交通大学

报告题目:Fast Fourier Transform via automorphism groups of rational function fields (摘要)

         邢朝平,上海交通大学讲席教授,中组部国家特聘教授。1990年在中国科学技术大学获得博士学位后留校工作,1993年获德国洪堡奖学金在Essen大学工作,其后在奥地利科学院从事研究工作。1998年加入新加坡国立大学,历任助教、tenured副教授、教授。2007年始任职于新加坡南洋理工大学教授。2019年加盟上海交通大学。长期从事密码、编码、安全多方计算、代数数论等方面的研究。入选国家海外高层次人才计划、上海市海外高层次人才计划、中科院百人计划等。 获得新加坡国家科学奖、荷兰Leiden大学Kloosterman讲席教授、德国洪堡学者等。曾任国际编码界最高奖Hamming奖评审专家委员会成员、斯坦福大学访问教授。出版专著四本,由剑桥出版社出版的《Coding Theory -- A First Course》一书先后被欧美、亚洲等世界多所大学作为教材使用。已在《Journal of the ACM》上发表文章一篇,在美密会(Crypto)、欧密会(Eurocrypt)、亚密会(Asiacrypt)、TCC、PKC上发表密码文章10多篇,在计算机理论会议STOC、SODA、ICALP、CCC、RANDOM等发表论文10多篇。在信息论期刊《IEEE Transactions on Information Theory》发表编码论文近70篇,同时在数学期刊《Advances in Mathematics》、《Trans. Of the Amer. Math. Soc.》等数学期刊上发表论文20多篇。主持过中国国家自然科学基金重点项目,科技部重点研发国际交流项目,新加坡国家自然科学基金重点项目,新加坡国防部基金,新加坡教育部基金等项目。目前任包括《IEEE Transactions on Information Theory》、《Finite Fields and Their Applications》在内的多个SCI期刊编委。



杨立波

南开大学

报告题目:Symbolic approach to combinatorial relations (摘要)

        杨立波,南开大学教授,博士生导师。现任南开大学组合数学中心副主任。2004年毕业于南开大学,获理学博士学位;2011年入选教育部新世纪优秀人才;2015年获国家自然科学基金优秀青年基金项目资助,2023年获国家自然科学基金杰出青年基金项目资助。杨立波教授主要从事组合数学方面的研究,特别是对称函数理论和单峰型理论方面,解决了包括美国科学院院士Richard Stanley教授提出的zrank猜想在内的多个公开问题。杨立波教授的成果发表在《Trans. Amer. Math. Soc.》、《Intern. Math. Res. Notices》、《J. Combinatorial Theory Series, A》、《Adv. Appl. Math.》、《SIAM Discrete Math.》等重要数学期刊。

范更华

福州大学

报告题目:四色问题与子图覆盖 (摘要)

        范更华,福州大学教授,离散数学及其应用教育部重点实验室主任。国际图论界权威刊物《图论杂志》(Journal of Graph Theory))执行主编(Managing Editor)。主要从事图论领域中的结构图论、极图理论、带权图、欧拉图、整数流理论、子图覆盖等方向的基础理论研究,及图论在大规模集成电路设计中的应用。关于哈密顿圈存在性的成果以“范定理”、“范条件”被广泛引用而出现于多种国际学术刊物。一些成果作为定理出现在国外的教科书中。获1998年度国家杰出青年科学基金资助;获2005年度国家自然科学奖二等奖(独立完成)。

青年邀请报告

按姓氏笔画排序

上官冲

山东大学

报告题目:Recent progress on graph chromatic thresholds and graph homomorphism thresholds (摘要)

         上官冲,山东大学数学与交叉科学研究中心教授、博士生导师。于2017年6月获得浙江大学数学学院理学博士学位,毕业后于2017年8月至2020年7月在以色列特拉维夫大学从事博士后研究工作。2020年9月加入山东大学,任齐鲁青年学者(第一层次),2022年1月起任山东大学杰出中青年学者(第一层次),并承担国家自然科学基金优秀青年科学基金项目(海外)。曾获得国际组合数学及应用协会(Institute of Combinatorics)2020年度 Kirkman 奖。 主要从事组合数学与信息科学交叉领域的研究,在极值组合学、理论计算机科学、编码理论、图论及其应用等领域的多个重要问题上做出一系列贡献,已在组合数学顶级期刊《Journal of Combinatorial Theory, Series A》与《Journal of Combinatorial Theory, Series B》、理论计算机科学顶级会议与期刊《Annual ACM SIGACT Symposium on Theory of Computing (STOC)》、《Annual IEEE Symposium on Foundations of Computer Science (FOCS)》、《SIAM Journal on Computing》、信息论与编码理论顶级期刊《IEEE Transactions on Information Theory》、离散数学权威期刊《SIAM Journal on Discrete Mathematics》等相关领域的国际知名刊物上发表论文二十余篇。 受邀至2022年第十届全国组合数学与图论大会(大会报告)、中国运筹学会图论组合分会2021年学术年会(邀请报告)、2021年第十届有限域及其应用国际研讨会(大会报告)、中国数学会2020年学术年会(分组报告)等重要学术会议上做报告。



李昊坤

华为2012可信费马实验室

报告题目:无量词非线性公式可满足性问题的求解方法 (摘要)

        李昊坤,于2022年取得北京大学博士学位,现任华为2012可信费马实验室的主任工程师。他的研究焦点包括符号计算、定理证明和程序验证,并在非线性局部搜索、CAD算法的变量序选择、混合三角多项式求解以及零维多项式系统三角分解的算法复杂度等领域取得了显著成果。同时主导了华为众多关键模块的设计与代码验证。其中相关研究成果已被收录于CAV、ISSAC、JSC等顶级国际期刊和会议。

郑晓朋

大连理工大学

报告题目:结构化网格生成中的关键问题及其计算共形几何解决方案 (摘要)

         郑晓朋,大连理工大学副教授,长期面向结构化网格生成问题开展新理论、新算法的研究,采用计算共形几何等现代数学理论,聚焦网格生成根本理论和普适算法的突破。针对结构化六面体网格生成问题,基于叶状结构与六面体网格的关系理论,开发了基于叶状结构的自动化六面体网格生成算法;针对结构化曲面四边形网格问题,基于四边形网格和亚纯四次微分之间的等价关系,构建了普适、稳健的高质量四边形网格生成算法。主持国家自然科学基金面上项目一项,国家自然科学基金青年基金项目一项,横向项目2项;参与国家自然科学基金重点国际合作研究项目1项以及多项横向项目;发表20余篇文章,其中SCI一区期刊CMAME论文5篇;获得2021全国网格生成及应用研讨会青年优秀论文奖;第十四届、第十五届全国几何设计与计算大会最佳论文。

高奕博

北京国际数学研究中心

报告题目:Symmetric structures in the Bruhat order (摘要)

        高奕博,在北京国际数学研究中心任助理教授,本科与博士均毕业于麻省理工学院,导师为Alex Postnikov教授。他的研究领域为代数组合学,主要研究方向包含舒伯特计数演算和考克斯特群。

胡胜龙

杭州电子科技大学

报告题目:Quantifying low rank approximations of third order symmetric tensors (摘要)

        胡胜龙,杭州电子科技大学理学院教授,博士研究生导师。先后毕业于天津大学和香港理工大学。中国青年科技工作者协会成员、中国运筹学会理事、浙江省数学会理事。研究方向为张量计算的理论与算法及其应用。证明了张量最佳秩一逼近经典幂法和张量正交低秩逼近经典交替极分解法的线性收敛性,解决了Yousef Saad等提出的公开问题。部分研究成果发表在Math Program、Num Math、SIMAX、J Symb Comput等期刊。获得天津市数学会青年研究奖、Sci China-Math优秀论文奖、浙江省数学会研究成果奖等。主持国家自然科学基金和浙江省自然科学基金多项。

唐春明

西南交通大学

报告题目:Linear codes from Boolean functions with high (fast) algebraic immunity (摘要)

         唐春明,研究员,西南交通大学大学信息科学与技术学院。1982年1月出生,2012年7月获得北京大学博士学位,先后在巴黎第八大学与香港科技大学从事博士后研究工作(海外经历3年:巴黎1年,香港2年),方向为面向网络空间安全的编码密码理论。以独立/第一/通讯作者身份在领域权威期刊发表论文60余篇,包括编码密码理论最顶级期刊IEEE Transactions on Information Theory 25篇。因在密码函数领域的贡献,荣获密码学国际学术奖:布尔奖(George Boole Prize);研究成果也曾获教育部自然科学二等奖(排名2/4);正在主持国家自然科学基金重点项目和面上项目。

袁骁

北京大学前沿计算研究中心

报告题目:Quantum advantage for near-term and fault-tolerant quantum computers (摘要)

        袁骁,现任北京大学前沿计算研究中心助理教授,博士生导师,北京大学博雅青年学者,于2020年11月正式加入中心。他于2012年和2016年分别在北京大学和清华大学获学士、博士学位,之后于2017年、2017-2019年、2019-2020年分别在中国科学技术大学、牛津大学、斯坦福大学进行博士后研究。研究兴趣包括量子计算、量子信息、量子资源理论等。截至2020年11月,袁骁博士在物理领域顶级国际会议及期刊发表论文61篇,例如 1 篇在 Review of Modern Physics,10 篇在 Physical Review Letters,2 篇在 Physical Review X,3 篇在 Nature,1篇在Nature Review Physics,1篇在Nature Communication,7 篇在 NPJ Quantum Information。加入中心后,袁骁博士创立量子模拟和量子信息实验室,该实验室的研究方向包括量子模拟算法设计、量子机器学习、量子基础理论等。

薛白

中国科学院软件所

报告题目:控制系统可达性分析 (摘要)

         薛白,中国科学院软件所 研究员,博导,研究方向为自动控制系统和AI形式验证。2014年1月,毕业于北京航空航天大学数学与系统科学学院,获理学博士,随后于2014年5月-2015年9月和2015年11月-2017年10月分别在新加坡南洋理工大学和德国奥登堡大学从事博士后研究工作。在控制和计算机科学领域权威期刊如SICON、IEEE TAC、IEEE TCAD和会议如CDC、ACC、IFAC、CAV、HSCC、IJCAI等发表论文30余篇,提出了边界可达性分析方法和基于方程释放的(刻画可达集的)凸约束生成方法。