【报告摘要】计算机辅助设计（CAD）软件是工业软件的最重要门类之一，几何内核是CAD软件中汇聚理论和算法的核心组件。曲面求交是一个几何内核最重要的底层功能之一，其算法的拓扑稳定性是制约整个CAD系统稳定性的决定性因素。本报告将介绍近年来我们在曲面求交的拓扑判定与计算相关的一系列研究进展，同时介绍课题组自主研发的几何内核库CASGEO的曲面求交、布尔运算、过渡、补洞、参数化建模、脏几何处理、逆向重建等一系列核心功能及企业应用落地情况。

【报告人简介】贾晓红，中国科学院数学与系统科学研究院研究员。现任中国数学会理事、中国工业与应用数学学会几何设计与计算专委会副主任、中国数学会计算机数学专委会副主任。主持基金委青年基金A类、B类项目，担任国家重点研发计划项目负责人、重点研发计划青年科学家项目负责人、基金委重大项目课题负责人、中国科学院战略先导B类专项项目负责人。

曾获2025年中创软件人才奖、2025年CSIAM应用数学落地成果认证、2024年中国科学院三八红旗手、2023年华夏建设科学技术一等奖、2020年CSIAM应用数学青年科技奖、2017年中国几何设计与计算青年学者奖等。

研究方向为计算几何、符号计算、CAD等。