1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
陈长波 男重庆绿色智能技术研究院
电子邮件：chenchangbo@cigit.ac.cn
通信地址：重庆市北碚区水土镇方正大道266号
邮政编码：400714


研究领域
招生信息

招生专业 计算机软件与理论
计算机应用技术


招生方向 自动推理，符号计算，计算机代数
高性能计算

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


学历

学位
工作经历

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


社会兼职 2014-09--今 Reviewer of Journal of Symbolic Computation
2014-05--今 Reviewer of CASC 2014
2014-03--今 博士论文审稿人
2014-03--今 Program Committee Member and Session Organizer of ICMS 2014

教授课程
专利与奖励

奖励信息 （1） ACM最佳软件演示奖，其他级，2011


专利成果
出版信息

发表论文 （1） Cylindrical Algebraic Decomposition in the RegularChains Library，Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ，2014，第1作者
（2） Basic Polynomial Algebra Subprograms，ACM Communications in Computer Algebra 2014，2014，第1作者
（3） Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains，Proceedings of Computer Algebra in Scientific Computing 2014 (CASC 2014)，2014，第2作者
（4） An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition，Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012，2014，第1作者
（5） Solving Parametric Polynomial Systems by RealComprehensiveTriangularize，Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ，2014，第1作者
（6） Doing Algebraic Geometry with the RegularChains Library，Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014)，2014，第2作者
（7） 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作者
（8） The Basic Polynomial Algebra Subprograms，Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) ，2014，第1作者
（9） Real Quantifier Elimination in the RegularChains Library，Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014)，2014，第1作者
（10） Real Root Isolation of Regular Chains，Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012，2014，第2作者
（11） Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains，Proceedings of 2014 International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)，2014，第1作者
（12） An Application of Regular Chain Theory to the Study of Limit Cycles，International Journal of Bifurcation and Chaos，2013，第1作者
（13） 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作者
（14） Computing with Semi-algebraic Sets: Relaxation Techniques and Effective Boundaries，Journal of Symbolic Computation，2013，第1作者
（15） Triangular Decomposition of Semi-algebraic Systems (Extended Version)，Journal of Symbolic Computation，2013，第1作者
（16） Algorithms for Computing Triangular Decomposition of Polynomial Systems (Extended Version)，Journal of Symbolic Computation，2012，第1作者
（17） Cache Complexity and Multicore Implementation for Univariate Real Root Isolation，Journal of Physics: Conference Series，2012，第1作者
（18） Computing with Semi-algebraic Sets Represented by Triangular Decomposition，Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011)，2011，第1作者
（19） Algorithms for Computing Triangular Decompositions of Polynomial Systems ，Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011)，2011，第1作者
（20） Computing with Semi-algebraic Sets Represented by Triangular Decomposition，Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011)，2011，第1作者
（21） 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作者
（22） 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作者
（23） Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple，ACM Communications in Computer Algebra，2011，第1作者
（24） Triangular Decomposition of Semi-algebraic Systems，Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010)，2010，第1作者
（25） Computing Cylindrical Algebraic Decomposition via Triangular Decomposition，Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)，2009，第1作者
（26） On the Representation of Constructible Sets，Proceedings of Milestones in Computer Algebra 2008，2008，第1作者
（27） 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作者
（28） On the Verification of Polynomial System Solvers ，Frontiers of Computer Science in China，2008，第1作者
（29） Comprehensive Triangular Decomposition，Proceedings ofCASC 2007, Lecture Notes in Computer Science, vol. 4770，2007，第1作者
（30） 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作者


发表著作
科研活动

科研项目 （1） 基于三角分解的参数多项式优化，主持，国家级，2014-01--2016-12


参与会议 （1） Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial，2013-12，Changbo Chen and Marc Moreno Maza
（2） Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One，2013-09，Parisa Alvandi, Changbo Chen, Marc Moreno Maza
（3） An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination，2013-08，Changbo Chen, Marc Moreno Maza
（4） An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions，2012-10，Changbo Chen, Marc Moreno Maza
（5） Quantifier Elimination via Triangular Decomposition，2012-06，Changbo Chen, Marc Moreno Maza
（6） Advances on Quantifier Elimination and Applications，2012-06，Changbo Chen, Marc Moreno Maza
（7） Semi-algebraic description of the equilibria of dynamical systems ，2011-09，Changbo Chen, Marc Moreno Maza
（8） Parallel Univariate Real Root Isolation on Multicores，2011-07，Changbo Chen, Marc Moreno Maza, Yuzhen Xie
（9） Cache Complexity and Multicore Implementation for Univariate Real Root Isolation，2011-06，Changbo Chen, Marc Moreno Maza, Yuzhen Xie
（10） Computing the Real Solutions of Polynomial Systems with the RegularChains library in Maple，2011-06， Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
（11）Algorithms for Computing Triangular Decompositions of Polynomial Systems，2011-06，Changbo Chen, Marc Moreno Maza
（12） Computing with Semi-Algebraic Sets Represented by Triangular Decomposition，2011-06，Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
（13） Triangular Decomposition of Semi-Algebraic Systems，2010-07，Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao
（14） Real Root Isolation of Regular Chains，2009-12，Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza
（15） Computing Cylindrical Algebraic Decomposition via Triangular Decompositions，2009-07，Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang
（16） Solving Parametric Polynomial Systems withthe RegularChains library in Maple，2009-06，Changbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
（17） The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple，2008-07，Changbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
（18） Comprehensive Triangular Decomposition，2007-09，Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan

合作情况

项目协作单位
指导学生