贾晓红-中国科学院大学-UCAS

研究领域

计算几何、计算机辅助设计（CAD）、计算机图形学、人工智能

课题组2023年拟招收：

1. CAD工程师两名（架构/算法），详情请见http://www.amss.ac.cn/rczp1/kyrczpxq/202304/t20230428_6747571.html

2. 博士后两名（长期有效）, 支持方向: 几何内核开发 / 几何深度学习

3. 博士生一名，硕士生一名，特别欢迎夏令营学员加入。

注：有丰富的Visual C++编程经验者优先

4. 大学生创业计划学员，欢迎优秀本科生加入课题组参与研究工作

5. 实习生两名，欢迎外单位研究生参与课题合作

请将您的简历发送至xhjia@amss.ac.cn

教育背景及工作经历

2022 至今中国科学院数学与系统科学研究院研究员

2015-2022 中国科学院数学与系统科学研究院副研究员

2011-2015 中国科学院数学与系统科学研究院助理研究员

2009-2011 香港大学计算机系图形学实验室博士后

2007-2009 美国Rice University计算机系博士联合培养

2004-2009 中国科学技术大学数学系博士

2000-2004 中国科学技术大学数学系学士

奖励及人才计划

2021 国家重点研发计划青年科学家项目首席

2020 国家自然科学基金委优秀青年基金

2020 中国工业与应用数学学会第五届应用数学青年科技奖

2017 第二届全国几何设计与计算青年学者奖

2022 中国科学院优秀导师奖

2022 中国科学院大学优秀本科生指导教师奖

2019 中科院数学院2019年度科研进展

2018 中科院数学院第十届陈景润未来之星计划

2014 中科院数学院系统所关肇直青年研究奖

2011 中科院数学院首届海外优秀青年人才计划

2011 全国百篇优秀博士论文提名奖

2010 中国科学院优秀博士论文

学术服务

学术兼职

中国工业与应用数学学会几何设计与计算专业委员会副主任 2023-

中国数学会计算机数学专业委员会副主任 2021-

中国数学会计算机数学专业委员会秘书长 2016-2021

计算机图形学与混合现实研讨会（GAMES）执委会常务委员 2022-

Journal of Computer Science and Technology 编委 2018-

会议服务

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), ISSAC(2020)

科研项目

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）

国家奖学金（杨婕吟，2020；杨小龙，2021）

斯伦贝谢奖学金（李凯，2022）

阿美特等奖学金（姚姗姗，2019；赵明阳，2020；赵明阳，2021）

三号学生标兵（杨小龙，2019）

华为杯全国研究生数学建模竞赛一等奖（杨小龙，2019）

国科大校级优秀毕业论文（康家锐，2022；王雨晴，2023）

在读研究生：

2019- 李凯主页博士

2021- 杨婕吟主页博士

2022- 康家锐硕士

2023- 杨滢瑜王雨晴硕士

已毕业研究生：

2015-2020 姚姗姗主页博士（北京邮电大学理学院）

2016-2021 赵明阳主页博士 ( 中国科学院香港创新研究院）

2017-2022 杨小龙主页博士（腾讯）

2018-2023 曾铮主页博士

本科毕业设计指导：

林佳莹（大连理工大学华罗庚班），马强（大连理工大学华罗庚班）

杨小龙（西北工业大学），曾铮（中国科学院大学）

杨婕吟（中国科学院大学）, 刘玉涛（中国科学院大学），

张泽华（中国科学院大学）, 康家锐（中国科学院大学），

王雨晴（中国科学院大学），杨滢瑜（天津大学）

代表性论文

	Structure-Aware Surface Reconstruction via Primitive Assembly. J. Jiang, M. Zhao, S. Xin, Y. Yang, H. Wang, X. Jia & D.-M. Yan. Accepted by ICCV, 2023
	LARNeXt: End-to-End Lie Algebra Residual Network for Face Recognition. X. Yang, X. Jia, D. Gong, D.-M. Yan, Z. Li and W. Liu. IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 45(10), 2023.
	Singularity Computation for Rational Parametric Surfaces Using Moving Planes. X. Jia, F. Chen and S. Yao. ACM Transactions on Graphics, Vol. 42(1), article 12, 1-14, 2023.
	Topological Classification and Determination of Non-Degenerate Intersections of Two Dupin Cyclides. S. Yao and X. Jia. Computer Aided Design, Vol. 153, 2022.
	Computing the Intersection of Two Rational Surfaces Using Matrix Representations. X. Jia, K. Li and J. Cheng. Computer Aided Design (Special Issue of ACM SPM), Vol. 150, 2022.
	GraphReg: Dynamical Point Cloud Registration with Geometry-aware Graph Signal Processing M. Zhao, L. Ma, X. Jia, D.-M. Yan, T. Huang IEEE Transactions on Image Processing, Vol. 31, 2022
	LARNet: Lie Algebra Residual Network for Face Recognition. X. Yang, X. Jia, D. Gong, D.-M. Yan, Z. Li and W. Liu. Proceedings of 38th International Conference on Machine Learning, PMLR Vol. 139:11738-11750, 2021.
	Robust Ellipse Fitting Using Hierarchical Gaussian Mixture Models. M. Zhao, X. Jia, L. Fan, Y. Liang, D.-M. Yan. IEEE Transactions on Image Processing. Vol. 30, 3828-3843, 2021.
	An Occlusion-Resistant Circle Detector Using Inscribed Triangles. M. Zhao, X. Jia, and D.-M. Yan. Pattern Recognition. Vol. 109, January 2021.
	Developable Surface Segmentation For CAD Models. Z. Zeng, X. Jia, L. Shen and B. Bo. ACM Siggraph Posters, 2021.
	Combining Convex Hull and Directed Graph for Fast and Accurate Ellipse Detection. Z. Shen, M. Zhao, X. Jia, Y. Liang, L. Fan, D.-M. Yan. Graphical Models, Vol. 116, July 2021.
	Complete Classifications and Efficient Determination of Arrangements Formed by Two Ellipsoids. [PDF] X. Jia, C. Tu, B. Mourrain and W. Wang. ACM Transactions on Graphics, Vol. 39, article 27, 2020.
	Quaternion Rational Surfaces. J. Hoffman, X. Jia and H. Wang. Journal of Commutative Algebra, Vol 12(2), 237-261, 2020.
	Simple Primitive Recognition via Hierarchical Face Clustering. X. Yang and X. Jia. Computational Visual *Media*. Vol. 6(4), 431-443, 2020.
	6D Pose Estimation with A Two-stream Net. X. Yang and X. Jia. ACM Siggraph Posters, 2020.
	Enumerating the Morphology of Non-Degenerate Darboux Cyclides. M. Zhao, X. Jia, C. Tu, B. Mourrain and W. Wang. Computer Aided Geometric Design, Vol. 75, 2019.
	µ -Bases for Rational Canal Surfaces. S. Yao and X. Jia. Computer Aided Geometric Design, Vol. 69, 11-26, 2019.
	A Package to Compute Implicit Equations for the Rational Curves and Surfaces. S. Yao, Y. Feng, X. Jia and L. Shen. ACM Communications in Computer Algebra, Vol. 53(2), 33-36, 2019.
	Multi-Strip Smooth Developable Surfaces From Sparse Design Curves. P. Bo, Y. Zheng, X. Jia and C. Zhang. Computer Aided Design, Vol. 114, 1-12, 2019.
	Automatic and High-Quality Surface Mesh Generation for CAD Models. J. Guo, F. Ding, X. Jia and D.-M. Yan. Computer Aided Design, Vol. 109, 49-59, 2019.
	Survey on the Theory and Applications of µ-Bases for Rational Curves and Surfaces. X. Jia, X. Shi and F. Chen. Journal of Computational and Applied Mathematics, Vol. 329, 2-23, 2018.
	Continuous Detection of the Variations of the Intersection Curve of Two Moving Quadrics in 3-Dimensional Projective Space. X. Jia, W. Wang,Y.-K. Choi, B. Mourrain and C. Tu. Journal of Symbolic Computation, Vol. 73, 221-243, 2016.
	Efficient Maximal Possion-Disk Sampling and Remeshing on Surfaces. J. Guo, D.-M. Yan, X. Jia and X. Zhang. Computers & Graphics, Vol. 46, 72-79, 2015.
	Role of Moving Planes and Moving Spheres Following Dupin Cyclides. X. Jia. Computer Aided Geometric Design, Vol. 31, 168-181, 2014.
	Blue-Noise Remeshing with Farthest Point Optimization. D.-M. Yan, J. Guo, X. Jia, X. Zhang and P. Wonka. Computer Graphics Forum, Vol. 33(5), 167-176, 2014 .
	Continuous Collision Detection for Composite Quadric Models. Y.-K. Choi, W. Wang, B. Mourrain, C. Tu, X. Jia and F. Sun. Graphical Models, Vol. 76(5), 566-579, 2014.
	Computing Perspective Projections in 3-Dimensions Using Rotors In the Homogeneous and Conformal Models of Clifford Algebra. R. Goldman, Steve Mann and X. Jia. Advances in Applied Clifford Algebras, Vol. 24, 465-491, 2014.
	Using a Bihomogeneous Resultant to Find the Singularities of Rational Space Curves. X. Shi, X. Jia, R. Goldman and B. Hassett. Journal of Symbolic Computation, Vol. 53, 1-25, 2013.
	Topological Classification of Non-Degenerate Intersections of Two Ring Tori. X. Jia, C. Tu and W. Wang. Computer Aided Geometric Design, Vol. 30, 181-198, 2013.
	Using Smith Normal Forms and µ-Bases to Compute All the Singularities of Rational Planar Curves. X. Jia and R. Goldman. Computer Aided Geometric Design, Vol. 29, 296-314, 2012.
	Representing Perspective Projections as Rotors in the Homogeneous Model of the Clifford Algebra for 3-Dimensional Euclidean Space. X. Jia and R. Goldman. Conference of Applied Geometric Algebras in Computer Science and Engineering 2012, France.
	An Algebraic Approach to Continuous Collision Detection for Ellipsoids. X. Jia, Y.-K. Choi, B. Mourrain and W. Wang. Computer Aided Geometric Design, Vol. 28, 164-176, 2011.
	Minimal Generators for the Rees Algebra of Rational Space Curves of Type (1,1,d-2). W. Hoffman, H. Wang, X. Jia and R. Goldman. European Journal of Pure and Applied Mathematics, Vol. 3(4), 602-632, 2010.
	Set-Theoretic Generators of Rational Space Curves. X. Jia, H. Wang and R. Goldman. Journal of Symbolic Computation, Vol. 49(4), 414-433, 2010.
	µ-Bases and Singularities of Rational Planar Curves. X. Jia and R. Goldman. Computer Aided Geometric Design, 26(9), 970-988, 2009.
	Axial Moving Planes and Singularities of Rational Space Curves . H. Wang, X. Jia and R. Goldman. Computer Aided Geometric Design, Vol.26(3), 300-316, 2009.
	Computing Self-intersection Curves of Rational Ruled Surfaces. X. Jia, F. Chen and J. Deng. Computer Aided Geometric Design, Vol. 26(3), 287-299, 2009.

专著

[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号.