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

研究领域

计算机辅助设计（CAD）、计算代数几何

人工智能、几何深度学习、计算机图形学

课题组2022年拟招收：

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

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

2. 博士后两名（长期有效）
支持方向1. CAD几何引擎核心算法 2. 几何深度学习

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

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

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

教育背景及工作经历

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

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

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

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

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

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

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

奖励及人才计划

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

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

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

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

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

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

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

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

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

中国科学院院长奖优秀奖，2009

学术服务

国际会议

国际符号与代数计算会议 (ISSAC 2019) 财务主席

国际人工智能与符号计算会议 (AISC 2018) 宣传主席

国际实体与物理建模会议 (SPM 2019, SPM 2020) 程序委员会成员

国际几何建模与处理会议 (GMP 2017, GMP 2018, GMP 2019, GMP2020) 程序委员会成员

国际符号与代数计算会议 (ISSAC 2020) 程序委员会成员

国内会议

全国几何设计与计算会议(GDC 2022) 程序委员会共同主席

全国计算机数学学术会议(CM 2019) 大会副主席

全国计算机数学学术会议(CM 2017) 程序委员会主席

全国计算机数学学术会议（CM 2015, CM 2016, CM 2018，CM2021）程序委员会成员

全国几何设计与计算会议(GDC 2016, GDC 2017, GDC 2018, GDC 2019, GDC2020) 程序委员会成员

全国计算机辅助设计与图形学会议(CAD&CG 2017, CAD&CG 2018, CAD&CG2019) 程序委员会成员

中国图形学大会(CG 2016, CG 2018) 程序委员会成员

学术兼职

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

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

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

Journal of Computer Science and Technology 编委 2018-

中国工业与应用数学学会几何设计与计算专业委员会委员 2016-

中国图象图形学会智能图形专业委员会委员 2017-

科研项目

2021.11 - 2024.10 国家重点研发计划自由曲线曲面设计与求交理论与方法主持

2021.01 - 2024.12 NSFC优秀青年基金计算机辅助设计中的符号计算主持

2019.01 - 2022.12 NSFC面上项目基于构型分析的曲面碰撞检测及应用主持

2012.01 - 2015.12 NSFC青年基金 µ基理论及其在计算几何中的应用主持

2021. 01 - 2023.12 国家重点研发计划三维CAD几何引擎与研发平台构建骨干

2019.10 - 2023.10 北京市自然科学重点项目智能制造中的数学基础与应用骨干

2019.08 - 2020.08 国科大智能科学与技术高精尖学科项目机器人行为中挑战性难题的几何代数方法研究联合主持

学生指导

2015-2020 姚姗姗主页博士（已毕业） 2020年阿美特等奖学金

2016-2021 赵明阳主页博士 (已毕业） 2021年中科院院长奖优秀奖，2021年阿美特等奖学金

2017- 杨小龙主页博士（在读） 2021年国家奖学金

2018- 曾铮主页博士（在读）

2019- 李凯主页博士（在读）

2020- 余淼主页硕士（在读）

2021- 杨婕吟主页硕士（在读） 2020年国家奖学金

本科毕业设计指导：

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

杨小龙（西北工业大学），余淼（山东大学华罗庚班）

曾铮（中国科学院大学），杨婕吟（中国科学院大学）

刘玉涛（中国科学院大学），张泽华（中国科学院大学）

康家锐（中国科学院大学）

代表性论文

	Computing the Intersection of Two Rational Surfaces Using Matrix Representations. X. Jia, K. Li and J. Cheng. Computer Aided Design (Special Issue of ACM Symposium on Solid and Physical Modeling), 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)