贾晓红 女 博导 研究员 中国科学院数学与系统科学研究院
电子邮件: xhjia@amss.ac.cn
通信地址: 北京海淀中关村东路55号
邮政编码: 100190
研究领域
计算几何、计算机辅助设计(CAD)、计算机图形学、人工智能
课题组2025年拟招收:
1. CAD工程师一名(架构/算法)
2. 博士后数名(长期有效), 支持方向: CAD/CAE/CAM, 几何深度学习
3. 博士生一名,硕士生一名,特别欢迎夏令营学员加入。
注:有丰富的Visual C++编程经验者优先
4. 大学生创业计划学员,欢迎优秀本科生加入课题组参与研究工作
5. 实习生若干,欢迎外单位研究生参与课题合作
请将您的简历发送至xhjia@amss.ac.cn
教育背景及工作经历
2022 至今 中国科学院数学与系统科学研究院 研究员
2015-2022 中国科学院数学与系统科学研究院 副研究员
2011-2015 中国科学院数学与系统科学研究院 助理研究员
2009-2011 香港大学计算机系图形学实验室 博士后
2007-2009 美国Rice University计算机系 博士联合培养
2004-2009 中国科学技术大学数学系 博士
2000-2004 中国科学技术大学数学系 学士
获奖情况
2024 中国科学院三八红旗手
2023 中国科学院大学领雁银奖——振翅奖
2023 中国科学院大学优秀本科生指导教师奖
2022 中国科学院优秀导师奖
2022 中国科学院大学优秀本科生指导教师奖
2020 中国工业与应用数学学会应用数学青年科技奖
2019 中科院数学院2019年度科研进展
2018 中科院数学院第十届陈景润未来之星计划
2017 GDC中国几何设计与计算青年学者奖
2014 中科院数学院系统所关肇直青年研究奖
2011 中科院数学院首届海外优秀青年人才计划
2010 中国科学院优秀博士论文
学术服务
学术兼职
中国数学会 理事 2023-
中国工业与应用数学学会几何设计与计算专业委员会 副主任 2023-
中国数学会计算机数学专业委员会 副主任 2021-
中国数学会计算机数学专业委员会 秘书长 2016-2021
计算机图形学与混合现实研讨会(GAMES)执委会 常务委员 2022-
Journal of Computer Science and Technology 编委 2018-
计算机辅助设计与图形学学报 编委 2023-
会议服务
International Symposium on Symbolic and Algebraic Computation (ISSAC 2025) 海报主席
Geometric Modeling: Interoperability and New Challenges (Dagstuhl Geometry Seminar) 2024 大会共同主席
International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) 财务主席
International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) 宣传主席
全国几何设计与计算会议(GDC 2022) 程序委员会共同主席
全国计算机数学学术会议(CM 2019) 大会副主席
全国计算机数学学术会议(CM 2017) 程序委员会主席
程序委员会成员:
AAAI (2023), ACM SPM (2019, 2020, 2022), GMP (2017, 2018, 2019, 2020, 2022,2024), ISSAC(2020),SMI2024
科研项目
2025.01 - 2027. 12 国家重点研发计划项目
面向CAD内核的曲线曲面求交理论与软件 主持
2025.01- 2029. 12 基金委重大项目“融合设计与仿真的新一代几何引擎”
基于新型样条的核心几何算法 课题负责
2023.12 - 2028.11 中国科学院基础与交叉前沿科研先导专项“工业软件CAX一体化的计算内核”
几何设计与先进制造软件及一体化理论 项目负责
2022.08 - 2027.08 中国科学院基础研究领域青年团队计划
深度学习的数学原理 骨干
2021.11 - 2024.10 国家重点研发计划青年科学家项目
自由曲线曲面设计与求交理论与方法 主持
2021.01 - 2024.12 NSFC优秀青年基金
计算机辅助设计中的符号计算 主持
2021.01 - 2023.12 国家重点研发计划
三维CAD几何引擎与研发平台构建 骨干
2019.08 - 2020.08 国科大智能科学与技术高精尖学科项目
机器人行为中挑战性难题的几何代数方法研究 联合主持
2019.01 - 2022.12 NSFC面上项目
基于构型分析的曲面碰撞检测及应用 主持
2019.10 - 2023.10 北京市自然科学重点项目
智能制造中的数学基础与应用 骨干
2012.01 - 2015.12 NSFC青年基金
µ基理论及其在计算几何中的应用 主持
学生指导
学生获奖情况:
中国科学院优秀博士论文 (赵明阳,2022)
中国科学院院长奖优秀奖(赵明阳,2021;杨小龙, 2022)
中科院数学院院长奖优秀奖(李凯,2023)
华罗庚奖学金(杨婕吟,2023;王雨晴,2023)
国家奖学金 (杨婕吟,2020;杨小龙,2021;杨婕吟,2024)
斯伦贝谢奖学金(李凯,2022)
阿美特等奖学金(姚姗姗,2019;赵明阳,2020;赵明阳,2021)
三号学生标兵(杨小龙,2019)
华为杯全国研究生数学建模竞赛一等奖(杨小龙,2019)
国科大校级优秀毕业论文(康家锐,2022;王雨晴,2023)
在站博士后:初晓,曾铮,倪倩
在读研究生:
2021- 杨婕吟 主页
2022- 康家锐 硕士
2023- 杨滢瑜 王雨晴
已毕业研究生:
2015-2020 姚姗姗 主页 博士( 北京邮电大学理学院)
2016-2021 赵明阳 主页 博士 ( 中国科学院香港创新研究院)
2017-2022 杨小龙 主页 博士( 腾讯)
2018-2023 曾铮 主页 博士
2019-2024 李凯 主页 博士
本科毕业设计指导:
林佳莹(大连理工大学华罗庚班), 马强 (大连理工大学华罗庚班)
杨小龙(西北工业大学), 曾铮(中国科学院大学)
杨婕吟 (中国科学院大学), 刘玉涛(中国科学院大学),
张泽华(中国科学院大学), 康家锐(中国科学院大学),
王雨晴(中国科学院大学),杨滢瑜(天津大学)
代表性论文
| A Bayesian Approach Toward Robust Multidimensional Ellipsoid-Specific Fitting. Topology Guaranteed B-Spline Surface-Surface Intersection.
Efficient Computation of Moving Planes for Rational Parametric Surfaces with Base Points Using Dixon Resultants. K. Li, X. Jia & F. Chen.Computer Aided Geometric Design, 2024. |
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
Complete Classifications and Efficient Determination of Arrangements Formed by Two Ellipsoids. [PDF] | |
| |
X. Yang and X. Jia. Computational Visual Media. Vol. 6(4), 431-443, 2020. | |
Enumerating the Morphology of Non-Degenerate Darboux Cyclides. | |
µ-Bases for Rational Canal Surfaces. | |
| |
Multi-Strip Smooth Developable Surfaces From Sparse Design Curves. | |
Automatic and High-Quality Surface Mesh Generation for CAD Models. | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
专著
[1] W. Hoffman, X. Jia, H. Wang. Commutative Algebra: An Introduction. Mercury Learning & Information, Dulles, Virginia, Boston, Massachusetts, New Delhi. (ISBN: 978-1-944534-60-8)
[2] W. Hoffman, X. Jia, H. Wang. Essentials of Commutative Algebra. Overseas Press India Private Limited, 2016. (ISBN(13): 978-93-83803-21-7)
专利与软著
发明专利
1. 一种基于高斯像的可展面分割-拟合方法. ZL202210094064.7
2. 船体外板曲面设计自交线检测方法、装置及可存储介质. ZL202210535532.X
3. 一种基于移动平面与矩阵计算有理参数曲面的交的方法. 202210515344.0
4. 基于NURBS 曲面快速求交算法的CAD模型构建方法.202310911850.6
软件著作权
1. 基于二次曲面分割的CAD模型重建系统V1.0. 软著登字第9778588号.
2. 基于分片优化的网格逆向工程与编辑系统V1.0. 软著登字第10372421号.
3. 基于基元求交的多边形网格重建系统V1.0. 软著登字第10763620号.
4. 基于符号计算的二次曲面求交系统V1.0. 软著登字第11122756号.
5. 创成式样条曲面生成系统V1.0. 软著登字第11497565号.
6. 自由曲面求交系统V1.0. 软著登字第11496730号.
7. 基于特征抑制的CAD模型逆向CSG建模系统V1.0. 软著登字第11497561号.
8. 样条曲线曲面拟合软件V1.0. 软著登字第11100147号.