李永乐 数学讲师
广受学生信赖的“线代王”
在考研复试准备和整个读研期间,提前了解联系研究生导师并选择正确导师尤为重要,的研究生导师会影响学生的一生;如何选择适合自己的导师并收集到报考老师的相关信息呢?,小编为大家整理了“2022年中国科学院大学硕士研究生导师信息”陈长波导师,希望可以帮助大家找到心仪的导师,顺利读研。
陈长波 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件: 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,加拿大西安大略大学, 博士后
社会兼职
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-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)Autotuning Matrix Multiplication and Convolution for Deep Learning on CPUs 第十二届中国数学会计算机数学大会 2021-06-04
(2)A Companion Curve Tracing Method for Rank-Deficient Polynomial Systems 第十二届中国数学会计算机数学大会 2021-06-04
(3)A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 全国计算机数学学术会议 2019-10-24
(4)深度学习寻找柱形代数分解最优变元序 中国工业与应用数学学会第十七届年会 2019-09-19
(5)A numerical and geometrical method for solving parametric biological networks by exploiting block triangular structure: case studies 2019-08-26
(6)A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface 2019-04-15
(7)A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 2018-09-17
(8)Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
(9)Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
(10)Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
(11)A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
(12)A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
(13)Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
(14)Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
(15)Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
(16)Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
(17)An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
(18)An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
(19)Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
(20)Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
(21)Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
(22)Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
(23)Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
(24)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
(25)Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
(26) Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
(27)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
(28)Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
(29)Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
(30)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
(31)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
(32)Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
指导学生现指导学生
池昊宇 硕士研究生 085211-计算机技术
彭畅 硕士研究生 085211-计算机技术
刘丽 硕士研究生 085400-电子信息
以上是天任教育给大家分享“2022年中国科学院大学硕士研究生导师信息”陈长波导师的信息,想要了解更多高校研究生导师信息可持续关注。