基本信息
陈长波  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件: 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,加拿大西安大略大学, 博士后
社会兼职
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,

专利与奖励

   
奖励信息
(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

合作情况

   
项目协作单位
   

指导学生

现指导学生

池昊宇  硕士研究生  085211-计算机技术  

彭畅  硕士研究生  085211-计算机技术