个人简介
招生专业
081203-计算机应用技术
081202-计算机软件与理论
招生方向
计算机程序自动并行和优化
机器学习
符号数值计算
教育背景
2006-09--2011-08 加拿大西安大略大学 博士
2003-09--2006-07 北京大学 硕士
1999-09--2003-07 山东科技大学 学士
工作简历
2013-08~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2011-09~2013-08,加拿大西安大略大学, 博士后
奖励信息
（1） ACM最佳软件演示奖, , 其他, 2011
专利成果
（ 1 ） 一种保留模型特征的3D打印自适应切片方法, 发明, 2015, 第 1 作者, 专利号: 2015101087083
（ 2 ） 一种用于3D打印中CLI文件错误检查的方法, 发明, 2017, 第 1 作者, 专利号: 201510181569.7
科研项目
（ 1 ） 基于三角分解的参数多项式优化, 主持, 国家级, 2014-01--2016-12
（ 2 ） 微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
（ 3 ） 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
（ 4 ） 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
（ 5 ） 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2017-01--2021-12
（ 6 ） 参数半代数系统的误差可控计算理论与算法, 主持, 国家级, 2018-01--2021-12
（ 7 ） 零误差计算在程序自动并行化中的应用, 主持, 部委级, 2019-01--2021-12
（ 8 ） 自动推理及其在信息安全中的应用, 参与, 省级, 2018-10--2021-09
参与会议
（1）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 全国计算机数学学术会议 2019-10-24
（2）深度学习寻找柱形代数分解最优变元序 中国工业与应用数学学会第十七届年会 2019-09-19
（3）A numerical and geometrical method for solving parametric biological networks by exploiting block triangular structure: case studies 2019-08-26
（4）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 2019-04-15
（5）A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 2018-09-17
（6）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
（7）Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
（8）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
（9）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
（10）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
（11）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
（12）Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
（13）Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
（14）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
（15）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
（16）An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
（17）Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
（18）Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
（19）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
（20）Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
（21）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
（22）Computing the Real Solutions of Polynomial Systems with the RegularChains library in Maple Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2011-06-08
（23）Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
（24） Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
（25）Triangular Decomposition of Semi-Algebraic Systems Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao 2010-07-25
（26）Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
（27）Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
（28）Solving Parametric Polynomial Systems with the RegularChains library in Maple Changbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2009-06-25
（29）The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple Changbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie 2008-07-20
（30）Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
学术兼职
2019-10-24-今,第十一届全国计算机数学大学程序委员会委员,
2019-08-26-今,CASC 2019程序委员会委员,
2019-07-15-今,ISSAC 2019程序委员会委员,
2018-10-26-今,第十届全国计算机数学大学程序委员会委员,
2017-11-01-今,中国数学学会会员,
2017-10-15-今,奥地利科学基金会博士学科评审专家,
2017-01-01-今,第三届中国数学会计算机数学专业委员会委员,
2016-09-24-今,SC-Square 2016程序委员会委员,
2016-03-28-今,SCSS 2016 程序委员会委员,
2015-08-03-今,第四届符号计算暑期讲习班组织委员会委员,
2015-08-01-今,第8届国际工业与应用数学大会minisymposium organizer,
2015-05-01-今,Reviewer of CASC 2015,
2015-02-01-今,Reviewer of ISSAC 2015,
2014-09-03-今,Reviewer of Journal of Symbolic Computation,
2014-05-02-今,Reviewer of CASC 2014,
2014-03-31-今,博士论文审稿人,
2014-03-01-今,Program Committee Member and Session Organizer of ICMS 2014,
京公网安备 11010802027423号