基本信息
陈长波男硕导中国科学院重庆绿色智能技术研究院
电子邮件： chenchangbo@cigit.ac.cn
通信地址： 重庆市北碚区水土镇方正大道266号
邮政编码： 400714

研究领域符号数值混合计算，自动推理，高性能计算，机器学习


招生信息
招生专业081203-计算机应用技术
081202-计算机软件与理论

招生方向计算机程序自动并行和优化
机器学习
符号数值计算


教育背景2006-09--2011-08加拿大西安大略大学博士
2003-09--2006-07北京大学硕士
1999-09--2003-07山东科技大学学士

学历
学位

工作经历
工作简历2013-08~现在,中国科学院重庆绿色智能技术研究院,副研究员
2011-09~2013-08,加拿大西安大略大学,博士后

社会兼职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,


教授课程

专利与奖励
奖励信息（1） ACM最佳软件演示奖, , 其他, 2011

专利成果（ 1 ） 一种保留模型特征的3D打印自适应切片方法, 发明, 2015, 第 1 作者, 专利号: 20**
（ 2 ） 一种用于3D打印中CLI文件错误检查的方法, 发明, 2017, 第 1 作者, 专利号: 9.7


出版信息
发表论文（1）Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems,PHYSICAL REVIEW A,2018,第1作者
（2）A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities,Proc. of CASC 2018,2018,第1作者
（3）Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically,Proc. of AISC 2018,2018,第1作者
（4）基于同态门限密码体制的的投票协议,计算机应用,2018,通讯作者
（5）Full Rank Representation of Real Algebraic Sets and Applications,Proc. of CASC 2017,2017,第1作者
（6）Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems,Proc. of CASC 2017,2017,通讯作者
（7）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications,Proc. of CASC 2016,2016,第1作者
（8）Bell’s Nonlocality Can be Detected by the Violation of Einstein-Podolsky-Rosen Steering Inequality,Sci. Rep.,2016,第3作者
（9）A Numerical Method for Analyzing the Stability of Bi-parametric Biological Systems,Proc. of SYNASC 2016,2016,第1作者
（10）Parallel Integer Polynomial Multiplication,Proc. of SYNASC 2016,2016,第1作者
（11）Quantifier elimination by cylindrical algebraic decomposition based on regular chains,Journal of Symbolic Computation,2016,第1作者
（12）Basic Polynomial Algebra Subprograms,ACM Communications in Computer Algebra,2015,第1作者
（13）MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels,Proceedings of CASCON 2015,2015,第1作者
（14）Regular chains under linear changes of coordinates and applications,Proc. of CASC 2015,2015,第2作者
（15）Simplification of Cylindrical Algebraic Formulas,Proc. of CASC 2015,2015,第1作者
（16）有效保留模型特征的自适应分层算法,计算机应用,2015,通讯作者
（17）STL文件的法向量错误修复,计算机应用研究,2015,通讯作者
（18）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition,Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012,2014,第1作者
（19）Real Root Isolation of Regular Chains,Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012 ,2014,第2作者
（20）Real Quantifier Elimination in the RegularChains Library,Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014),2014,第1作者
（21）Cylindrical Algebraic Decomposition in the RegularChains Library,Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ,2014,第1作者
（22）Doing Algebraic Geometry with the RegularChains Library,Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014),2014,第2作者
（23）Solving Parametric Polynomial Systems by RealComprehensiveTriangularize,Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ,2014,第1作者
（24）The Basic Polynomial Algebra Subprograms,Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ,2014,第1作者
（25）Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains,Proceedings of Computer Algebra in Scientific Computing 2014 (CASC 2014),2014,第2作者
（26）Problem Formulation for Truth-table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition,Proceedings of 2014 Conferences on Intelligent Computer Mathematics (CICM 2014) ,2014,第3作者
（27）Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains ,Proceedings of 2014 International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) ,2014,第1作者
（28）Triangular Decomposition of Semi-algebraic Systems (Extended Version),Journal of Symbolic Computation,2013,第1作者
（29） Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One,Proceedings of Computer Algebra in Scientific Computing (CASC 2013),2013,第2作者
（30）Computing with Semi-algebraic Sets: Relaxation Techniques and Effective Boundaries,Journal of Symbolic Computation,2013,第1作者
（31）An Application of Regular Chain Theory to the Study of Limit Cycles,International Journal of Bifurcation and Chaos,2013,第1作者
（32）Algorithms for Computing Triangular Decomposition of Polynomial Systems (Extended Version),Journal of Symbolic Computation,2012,第1作者
（33）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation,Journal of Physics: Conference Series,2012,第1作者
（34）Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple,ACM Communications in Computer Algebra,2011,第1作者
（35）Computing with Semi-algebraic Sets Represented by Triangular Decomposition ,Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011),2011,第1作者
（36）Semi-algebraic Description of the Equilibria of Dynamical Systems ,Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885,2011,第1作者
（37）Algorithms for Computing Triangular Decompositions of Polynomial Systems ,Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011),2011,第1作者
（38）Solving Semi-algebraic Systems with the RegularChains Library in Maple,Proceedings of the Fourth International Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011),2011,第1作者
（39）Triangular Decomposition of Semi-algebraic Systems,Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010),2010,第1作者
（40）Computing Cylindrical Algebraic Decomposition via Triangular Decomposition,Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009),2009,第1作者
（41）On the Verification of Polynomial System Solvers ,Frontiers of Computer Science in China,2008,第1作者
（42）The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains Library in Maple ,Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society,2008,第1作者
（43）On the Representation of Constructible Sets,Proceedings of Milestones in Computer Algebra 2008,2008,第1作者
（44）Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library,Proceedings of Computer Algebra Systems and Their Applications 2007 (ICCS 2007), LNCS 4488,2007,第1作者
（45）Comprehensive Triangular Decomposition,Proceedings of CASC 2007, Lecture Notes in Computer Science, vol. 4770,2007,第1作者

发表著作

科研活动
科研项目（ 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 Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities2018-09-17
（2）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality2017年中国数学会学术年会2017-10-21
（3）Full Rank Representation of Real Algebraic Sets and Applications2017-09-16
（4）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班2017-07-16
（5）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems2016-09-24
（6）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications2016-09-19
（7）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza2015-09-14
（8）Solving Parametric Polynomial Optimization by Triangular DecompositionChangbo Chen, Marc Moreno Maza2015-08-10
（9）Computing the Supremum of the Real Roots of a Parametric Univariate PolynomialChangbo Chen and Marc Moreno Maza2013-12-11
（10）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion OneParisa Alvandi, Changbo Chen, Marc Moreno Maza2013-09-09
（11）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier EliminationChangbo Chen, Marc Moreno Maza2013-08-01
（12）An Incremental Algorithm for Computing Cylindrical Algebraic DecompositionsChangbo Chen, Marc Moreno Maza2012-10-26
（13）Quantifier Elimination via Triangular DecompositionChangbo Chen, Marc Moreno Maza2012-06-24
（14）Advances on Quantifier Elimination and ApplicationsChangbo Chen, Marc Moreno Maza2012-06-18
（15）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza2011-09-05
（16）Parallel Univariate Real Root Isolation on MulticoresChangbo Chen, Marc Moreno Maza, Yuzhen Xie2011-07-25
（17）Cache Complexity and Multicore Implementation for Univariate Real Root IsolationChangbo Chen, Marc Moreno Maza, Yuzhen Xie2011-06-15
（18）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
（19）Computing with Semi-Algebraic Sets Represented by Triangular DecompositionChangbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao2011-06-08
（20） Algorithms for Computing Triangular Decompositions of Polynomial SystemsChangbo Chen, Marc Moreno Maza2011-06-08
（21）Triangular Decomposition of Semi-Algebraic SystemsChangbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao2010-07-25
（22）Real Root Isolation of Regular ChainsFrancois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza2009-12-14
（23）Computing Cylindrical Algebraic Decomposition via Triangular DecompositionsChangbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang2009-07-28
（24）Solving Parametric Polynomial Systems with the RegularChains library in MapleChangbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie2009-06-25
（25）The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in MapleChangbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie2008-07-20
（26）Comprehensive Triangular DecompositionChangbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16


合作情况
项目协作单位

指导学生现指导学生
池昊宇硕士研究生085211-计算机技术