基本信息
陈长波 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件： chenchangbo@cigit.ac.cn
通信地址： 重庆市北碚区水土镇方正大道266号
邮政编码： 400714
电子邮件： chenchangbo@cigit.ac.cn
通信地址： 重庆市北碚区水土镇方正大道266号
邮政编码： 400714
研究领域
计算机代数，高性能计算，应用机器学习
招生信息
招生专业
081203-计算机应用技术
081202-计算机软件与理论
081202-计算机软件与理论
招生方向
计算机代数与机器证明
高性能计算
应用机器学习
高性能计算
应用机器学习
教育背景
2006-09--2011-08 加拿大西安大略大学 博士
2003-09--2006-07 北京大学 硕士
1999-09--2003-07 山东科技大学 学士
2003-09--2006-07 北京大学 硕士
1999-09--2003-07 山东科技大学 学士
工作经历
工作简历
2023-01~现在, 中国科学院重庆绿色智能技术研究院, 研究员
2013-08~2022-12,中国科学院重庆绿色智能技术研究院, 副研究员
2011-09~2013-08,加拿大西安大略大学, 博士后
2013-08~2022-12,中国科学院重庆绿色智能技术研究院, 副研究员
2011-09~2013-08,加拿大西安大略大学, 博士后
社会兼职
2023-01-01-今,CASC 2023程序委员会委员,
2022-01-01-2022-08-26,CASC 2022程序委员会委员,
2022-01-01-2022-07-07,ISSAC 2022程序委员会委员,
2022-01-01-今,第十三届中国数学会计算机数学大会程序委员会委员,
2021-09-13-今,CASC 2021程序委员会委员,
2021-09-08-今,SCSS 2021程序委员会委员,
2021-06-03-今,第十二届中国数学会计算机数学大会程序委员会委员及符号计算专题委员会主席,
2020-09-14-今,CASC 2020程序委员会委员,
2020-07-13-今,ICMS 2020程序委员会委员,
2019-10-23-今,第十一届全国计算机数学大会程序委员会委员,
2019-08-26-今,CASC 2019程序委员会委员,
2019-07-15-今,ISSAC 2019程序委员会委员,
2018-10-25-今,第十届全国计算机数学大会程序委员会委员,
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,
2022-01-01-2022-08-26,CASC 2022程序委员会委员,
2022-01-01-2022-07-07,ISSAC 2022程序委员会委员,
2022-01-01-今,第十三届中国数学会计算机数学大会程序委员会委员,
2021-09-13-今,CASC 2021程序委员会委员,
2021-09-08-今,SCSS 2021程序委员会委员,
2021-06-03-今,第十二届中国数学会计算机数学大会程序委员会委员及符号计算专题委员会主席,
2020-09-14-今,CASC 2020程序委员会委员,
2020-07-13-今,ICMS 2020程序委员会委员,
2019-10-23-今,第十一届全国计算机数学大会程序委员会委员,
2019-08-26-今,CASC 2019程序委员会委员,
2019-07-15-今,ISSAC 2019程序委员会委员,
2018-10-25-今,第十届全国计算机数学大会程序委员会委员,
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-SIGSAM最佳软件演示奖, , 其他, 2011
专利成果
[1] 陈长波, 刘丽, 杨文强. 一种带状稀疏矩阵的数据存储格式及其乘法加速方法. CN: CN115309333A, 2022-11-08.
[2] 陈长波, 池昊宇, 杨文强. 基于数组打包的矩阵乘法的分块参数空间优化方法. CN: CN112765552A, 2021-05-07.
[3] 陈长波, 池昊宇, 杨文强. 一种双重约化的矩阵乘法的分块参数空间优化方法. CN: CN112765551A, 2021-05-07.
[4] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法. CN: CN104751476A, 2015-07-01.
[5] 陈长波, 李文康, 杨文强. 一种保留模型特征的3D打印自适应切片方法. CN: CN104708824A, 2015-06-17.
[2] 陈长波, 池昊宇, 杨文强. 基于数组打包的矩阵乘法的分块参数空间优化方法. CN: CN112765552A, 2021-05-07.
[3] 陈长波, 池昊宇, 杨文强. 一种双重约化的矩阵乘法的分块参数空间优化方法. CN: CN112765551A, 2021-05-07.
[4] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法. CN: CN104751476A, 2015-07-01.
[5] 陈长波, 李文康, 杨文强. 一种保留模型特征的3D打印自适应切片方法. CN: CN104708824A, 2015-06-17.
科研活动
科研项目
（ 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
（ 9 ） 含参循环程序的自动并行与优化, 负责人, 地方任务, 2022-01--2024-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
（ 9 ） 含参循环程序的自动并行与优化, 负责人, 地方任务, 2022-01--2024-12
参与会议
（1）多面体模型下的循环置换与自动调优 2022 CCF全国高性能计算学术年会 彭畅，刘青枝，陈长波 2022-12-12
（2）多项式系统求解及应用 第五届难解问题的表示、算法与应用研讨会 2022-08-12
（3）Towards scalable computation of semi-algebraic systems driven by applications 2022-02-13
（4）Autotuning Matrix Multiplication and Convolution for Deep Learning on CPUs 第十二届中国数学会计算机数学大会 2021-06-04
（5）A Companion Curve Tracing Method for Rank-Deficient Polynomial Systems 第十二届中国数学会计算机数学大会 2021-06-04
（6）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 全国计算机数学学术会议 2019-10-24
（7）深度学习寻找柱形代数分解最优变元序 中国工业与应用数学学会第十七届年会 2019-09-19
（8）A numerical and geometrical method for solving parametric biological networks by exploiting block triangular structure: case studies 2019-08-26
（9）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 2019-04-15
（10）A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 2018-09-17
（11）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
（12）Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
（13）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
（14）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
（15）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
（16）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
（17）Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
（18）Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
（19）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
（20）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
（21）An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
（22）Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
（23）Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
（24）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
（25）Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
（26）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
（27）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
（28）Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
（29） Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
（30）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
（31）Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
（32）Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
（33）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
（34）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
（35）Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
（2）多项式系统求解及应用 第五届难解问题的表示、算法与应用研讨会 2022-08-12
（3）Towards scalable computation of semi-algebraic systems driven by applications 2022-02-13
（4）Autotuning Matrix Multiplication and Convolution for Deep Learning on CPUs 第十二届中国数学会计算机数学大会 2021-06-04
（5）A Companion Curve Tracing Method for Rank-Deficient Polynomial Systems 第十二届中国数学会计算机数学大会 2021-06-04
（6）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 全国计算机数学学术会议 2019-10-24
（7）深度学习寻找柱形代数分解最优变元序 中国工业与应用数学学会第十七届年会 2019-09-19
（8）A numerical and geometrical method for solving parametric biological networks by exploiting block triangular structure: case studies 2019-08-26
（9）A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 2019-04-15
（10）A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 2018-09-17
（11）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
（12）Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
（13）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
（14）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
（15）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
（16）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
（17）Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
（18）Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
（19）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
（20）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
（21）An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
（22）Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
（23）Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
（24）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
（25）Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
（26）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
（27）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
（28）Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
（29） Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
（30）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
（31）Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
（32）Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
（33）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
（34）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
（35）Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
指导学生
已指导学生
池昊宇 硕士研究生 085211-计算机技术
彭畅 硕士研究生 085211-计算机技术
现指导学生
刘丽 硕士研究生 085400-电子信息
戴翰文 硕士研究生 085400-电子信息
刘青枝 硕士研究生 085400-电子信息