贾晓红 Xiaohong Jia

Professor

Key Laboratory of Mathematics Mechanization,
Institute of Systems Science,
Academy of Mathematics and Systems Science
,
Chinese Academy of Sciences

中国科学院数学与系统科学研究院

数学机械化实验室

E-mail: xhjia(AT)amss(dot)ac(DOT)cn


课题组研究方向:

计算机辅助设计、计算机图形学

人工智能、几何深度学习

计算代数几何、符号计算



课题组2025年拟招收:

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

2. 博士后两名(长期有效),支持方向: 1. CAD/CAM 核心算法与软件开发; 2.人工智能的数学理论。

3. 博士生一名,硕士生一名,特别欢迎夏令营学员加入。注:有丰富的C++程序经验者优先。

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

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


Employment
and Visiting

  • 04/2022 - current. Professor in Academy of Mathematics and Systems Science, Chinese Academy of Sciences.
  • 03/2015 - 04/2022. Associate Professor in Academy of Mathematics and Systems Science, Chinese Academy of Sciences.
  • 10/2011 - 03/2015. Assistant Professor in Academy of Mathematics and Systems Science, Chinese Academy of Sciences.
  • 09/2009 - 09/2011. Postdoctor in Computer Science, the University of Hong Kong, with Wenping Wang.
  • 08/2007 - 01/2008. Visiting Student in Department of Mathematics and Statistics, Amherst College, United States, with David Cox.

Education

  • 08/2007 - 07/2009. Joint Ph.D. student in Computer Science, Rice University, United States, with Ron Goldman.
  • 09/2004 - 07/2009. Ph.D. in Mathematics, the University of Science and Technology of China, with Falai Chen.
  • 09/2000 - 07/2004. B.S. in Mathematics, the University of Science and Technology of China.


Selected Publications

Boolean Operation for CAD Models Using a Hybrid Representation.
Y. Yang, X. Jia, B. Wang, J. Yang, S. Xin, D.-M. Yan
Accepted by SIGGRAPH 2025.

Fast Determination and Computation of Self-Intersections for B-Spline Surfaces.
K. Li, X. Jia & F. Chen.
ACM Transactions on Graphics, Vol. 44(2), article 18, 2025.

Computing the Intersection of Two Ellipsoids Based on A Fast Algebraic Topology Determination Strategy..
X. Chu, K. Li, X. Jia, J. Yang and J. Kang.
Computer Aided Geometric Design (GMP), Vol. 119, 2025.

A Bayesian Approach Toward Robust Multidimensional Ellipsoid-Specific Fitting.
M. Zhao, X. Jia, L. Ma, Y. Shi, J. Jiang, Q. Li, D. Yan, T. Huang.
IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 46(12), 2024.

NeurCADRecon: Neural Representation for Reconstructing CAD Surfaces by Enforcing Zero Gaussian Curvature.
Q. Dong, R. Xu , P. Wang, S. Chen, S. Xin, X. Jia, W. Wang, C. Tu.
ACM Transactions on Graphics. Vol. 43(4), article 51, pages 1-17, 2024.

Topology Guaranteed B-Spline Surface-Surface Intersection.
J. Yang, X. Jia & D. Yan.
ACM Transactions on Graphics (Siggraph Asia) , Vol. 42, 2023.

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, 2023.

Structure-Aware Surface Reconstruction via Primitive Assembly.
J. Jiang, M. Zhao, S. Xin, Y. Yang, H. Wang, X. Jia & D.-M. Yan.
ICCV, 2023.

Coherent chord computation and cross ratio for accurate ellipse detection.
M. Zhao, X. Jia, L. Ma, L. Hu & D.-M. Yan.
Pattern Recognition, Vol. 146, 2024.

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.
Transactions on Pattern Analysis and Machine Intelligence, 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, 2022.

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.


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

Book

Awards

  • 2024 The First Prize of Huaxia Construction Science and Technology (华夏建设科学技术一等奖)
  • 2022 Excellent Tutor Award of Chinese Academy of Sciences(中国科学院优秀导师奖)
  • 2022 Excellent Undergraduate Tutor Award of University of Chinese Academy of Sciences (中国科学院大学优秀本科生指导教师奖))
  • 2020 Science and Technology Award for Youth from CSIAM (中国工业与应用数学学会应用数学青年科技奖)
  • 2018 Jingrun Chen Future Star Program of AMSS, CAS(中科院数学院陈景润未来之星计划)
  • 2017 National Young Scholar Award of Geometric Design and Computing (全国几何设计与计算青年学者奖)
  • 2011 Abroad Young Scholar Award of Chinese Academy of Sciences(中科院数学院海外优秀青年人才计划)
  • 2011 National 100 Excellent Doctoral Dissertation Award Nomination (全国百篇优博论文提名)
  • 2010 Outstanding Ph.D. Thesis Award of Chinese Academy of Sciences (中国科学院优秀博士论文)
  • 2009 President Award of Chinese Academy of Sciences(中国科学院院长奖优秀奖)

Fundings

  • 2025.01 - 2027. 12 Projects of the National Key R&D Program
    国家重点研发计划项目 面向CAD内核的曲线曲面求交理论与软件 项目负责人

  • 2025.01- 2029. 12 Major Projects of the National Natural Science Foundation of China
    基金委重大项目“融合设计与仿真的新一代几何引擎” 基于新型样条的核心几何算法 课题负责人

  • 2023.12 - 2028.11 Pioneer Special Project for Basic and Interdisciplinary Frontier Scientific Research of the Chinese Academy of Sciences
    中国科学院基础与交叉前沿科研先导专项“工业软件CAX一体化的计算内核”几何设计与先进制造软件及一体化理论 项目负责人

  • 2022.08 - 2027.08 The Young Team Program in the Field of Basic Research of the Chinese Academy of Sciences
    中国科学院基础研究领域青年团队计划 深度学习的数学原理 骨干

  • 2021.11 - 2024.10 National Key R&D Program of China (Young Scientist Program)
    国家重点研发计划青年科学家项目 自由曲线曲面设计与求交理论与方法 项目负责人

  • 2021.01 - 2024.12 The Excellent Young Scientists Fund of the National Natural Science Foundation of China
    国家基金委优秀青年基金 计算机辅助设计中的符号计算 项目负责人

  • 2021.01 - 2023.12 Projects of the National Key R&D Program
    国家重点研发计划 三维CAD几何引擎与研发平台构建 骨干

  • 2019.08 - 2020.08 High-Level Discipline Project of Intelligent Science and Technology at the University of Chinese Academy of Sciences
    国科大智能科学与技术高精尖学科项目 机器人行为中挑战性难题的几何代数方法研究 项目负责人

  • 2019.01 - 2022.12 General Program of the National Natural Science Foundation of China
    国家基金委面上项目 基于构型分析的曲面碰撞检测及应用 项目负责人

  • 2019.10 - 2023.10 Key Projects of the Beijing Natural Science Foundation.
    北京市自然科学重点项目 智能制造中的数学基础与应用 骨干
  • 2012.01 - 2015.12 The Young Scientists Fund Project of the National Natural Science Foundation of China.
    国家基金委青年基金 µ基理论及其在计算几何中的应用 项目负责人


Alumi

                                                                                     
       姚姗姗(Graduated)   HOMEPAGE      赵明阳 (Graduated) HOMEPAGE                杨小龙 HOMEPAGE                           曾铮 HOMEPAGE   

              

                                 李凯 HOMEPAGE                                    初晓

Graduate Students

                            

                      杨婕吟 HOMEPAGE                           康家锐                                            杨滢瑜                                      王雨晴                                          王心睦

 

Professional Societies

Academic Service

International Conferences
  • Symposium on Solid and Physical Modeling (SPM 2019, SPM 2020), PC Member
  • International Conference of Geometric Modeling and Processing (GMP 2017, GMP 2018, GMP 2019), PC Member
  • International Symposium on Symbolic and Algebraic Computation (ISSAC 2020) , PC Member
  • International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) , Treasurer
  • International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018), Publicity Chair

National Conferences