基本信息
姓名: 曹源昊 性别: 男
出生日期: 1981年10月04日
专业: 应用数学 研究领域: 几何自动推理,计算机图形学
教育背景: 理学博士 邮箱: ppxhappy@126.com
教育经历
09/2001 ~ 07/2005, 本科,吉林大学数学科学学院,计算数学专业。
09/2005 ~ 07/2010, 硕士,博士,中科院数学与系统科学研究院系统所,中科院数学机械化重点实验室,应用数学专业。
12/2010 ~ 03/2015, 博士后,沙特阿拉伯国王科技大学(KAUST),计算机辅助几何设计(CAGD)方向。
奖励
1,2018年 华人数学家联盟最佳论文奖——若琳奖。
参加过的会议
1,2007.11,参加第一届全国计算机数学学术会议,并在会上做《基于线性张量系统的微分几何定理的机器证明》的报告,青岛。
2,2008.10,参加第二届全国计算机数学学术会议,并在会上做《数控系统中的数据压缩》的报告,南昌。
3,2009.8,参加第四届国际代数几何与几何建模国际研讨会,丽江。
4,2010.6,参加第四届应用几何代数应用会议(Applied Geometric Algebras in Computer Science and Engineering),并在会上做《Geometric Theorem Proving with Null Geometric Algebra》报告,荷兰,阿姆斯特丹。
5,2014.10,参加2014年几何建模国际会议(Shape Modeling International 2014),并在会上做《Patch layout generation by detecting feature networks》报告,香港。
参加过的项目
1,2008.05~2008.09,参与中国科学院重要方向项目《基于数学机械化方法的高档数控系统》。
2,2009.01~2010.06,参与《经典和现代几何的自动推理和符号计算的高级不变量技术》项目。
3,2011.12~2012.12,参与波音公司《Lossy Compression of 3D model using N-sided Patch》项目。
4,2013.03~2015.03,参与波音公司《Application of 3D N-sided surfacing techniques》项目。
发表的论文
1. Yuanhao Cao, Liangliang Nan and Peter Wonka, Curve networks for surface reconstruction, International Journal of Digital Earth, (2016), mathscidoc:1608,16114.
2. Yuanhao Cao, Dong-Ming Yan, Peter Wonka, Patch layout generation by detecting feature networks, Computers & Graphics 46 (2014) 275–282. (SCI)
3. Bernard Ghanem, Yuanhao Cao, Peter Wonka, Designing Camera Networks by Convex Quadratic Programming. Computer Graphics Forum, 34: 69–80. (Proceedings of Eurographics 2015). (SCI)
4. Hongbo Li, Yuanhao Cao. On Geometric Theorem Proving with Null Geometric Algebra. Geometric Algebra in Practice, L. Dorst and J. Lasenby (eds.), Springer, 2011, 195-215. (EI)
5. Yuanhao Cao, Dengshan Wang. Prolongation structures of a generalized coupled Korteweg-de Vries equation and Miura transformation. Communications in Nonlinear Science and Numerical Simulation , 15 (2010) 2344-2349. (SCI)
6. Yuanhao Cao, Hongbo Li. Algorithms of Elimination and Simplification Based on Geometric Algebra in Automatic Proving of Geometric Theorem. Journal of Systems Science and Mathematical Sciences, 2009, 29 (9), 1189-1199. (中文核心)
7. Zheng Ye, Yuanhao Cao, Zheng Xie, Hongbo Li. Mechanical Theorem Proving for Tensor with Indexes in Differential Geometry. Journal of Systems Science and Mathematical Sciences, 2009, 29 (9), 1238-1248. (中文核心)
8. Jiang Liu, Hongbo Li, Yuanhao Cao. Simplification and Normalization of Indexed Differentials involving Coordinate Transformation. Sci China Ser A, 2009, 39(4): 471-488. (SCI)
研究兴趣
1,几何自动推理。 2,Clifford代数在计算机视觉和机器人方面的应用。
3,计算机图形学算法研究(逆向工程,网格处理,曲面重建等)。