研究员
陈长波，研究员，博士生导师。2003年7月在山东科技大学获数学与应用数学学士学位，2006年7月在北京大学获应用数学硕士学位，2011年8月在加拿大西安大略大学获计算机科学博士学位。2011年9月-2013年8月在西安大略大学从事博士后研究，2013年9月加入中国科学院重庆绿色智能技术研究院电子信息研究所自动推理与认知研究中心。主要从事计算机代数、高性能计算和应用机器学习的研究。已经主持完成国家自然科学基金青年和面上项目各一项，中国科学院西部青年学者项目一项，重庆英才青年拔尖人才项目一项。主要学术贡献包括围绕多项式系统的求解，提出并实现了一系列高效的符号算法，开发的多项式系统求解器被集成进著名数学软件Maple的多个官方发行版中；提出融合数值代数几何/高性能计算/机器学习加速多非线性系统求解的方法；将所提方法应用于生物化学网络平衡点分析、量子关联判定、循环程序的自动并行和优化、程序验证、神经网络推理加速等领域中。迄今在SIAM-ADS、JSC、PRA、CCPE等杂志和ISSAC、CASC、ICFEM等会议上发表学术论文60余篇。曾多次担任国际会议ISSAC、CASC等的程序委员会委员，曾任中国数学会计算机数学大会CM2024程序委员会共同主席。2011年获ACM-SIGSAM颁发的杰出软件演示奖，2023年获得第六届重庆市电子学会十佳优秀科技工作者。目前担任第五届中国数学会计算机数学专委会副秘书长。
自动推理与认知研究中心
计算机代数、高性能计算和应用机器学习
中国数学会计算机数学专委会副秘书长
2011年，获ACM-SIGSAM颁发的杰出软件演示奖
2023年，获得第六届重庆市电子学会十佳优秀科技工作者
1. Qingzhi Liu, Changbo Chen and Hanwen Dai. Fusing the Polyhedral and Tensor Compilers to Accelerate Scientific Computing Kernels. Concurrency and Computation: Practice and Experience 37, no.15-17 (2025): e70164. 通信作者
2. Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen. Synthesizing Loops from Linear Ranking Functions. ICFEM 2025: 228-246. 通信作者
3. 荆瑞娟, 钱铖镕, 陈长波. 基于强化学习的柱形代数分解变元择序[J]. 系统科学与数学, 2024, 44 (09): 2826-2849. 通信作者
4. Changbo Chen, Wenyuan Wu. A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM Journal on Applied Dynamical Systems, 21(2), pp. 1573-1596, 2022. 第1作者
5. Changbo Chen, Changliang Ren, Hongqing Lin and He Lu. Entanglement Structure Detection via Machine Learning. Quantum Science and Technology 6, 035017, 2021. 第1作者
6. Changbo Chen, Wenyuan Wu, Yong Feng. Numerical roadmap of smooth bounded real algebraic surface. Computer Aided Geometric Design 79, 101858, 2020. 第1作者
7. Changbo Chen, Wenyuan Wu, Yong Feng. Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. Journal of Systems Science and Complexity 33, 1252–1274, 2020. 第1作者
8. Changliang Ren, Changbo Chen. Steerability detection of an arbitrary two-qubit state via machine learning. Physical Review A 100(2), 022314, 2019. 共同第1作者
9. Changbo Chen, Changliang Ren, Xiang-Jun Ye, and Jing-Ling Chen. Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems. PHYSICAL REVIEW A 98, 052114, 2018. 共同第1作者
10. Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation 75, 74-93, 2016. 第1作者
1. “计算机数学核心理论、算法与软件”，国家重点研发计划，2023-2028，子课题负责人。
2. “重庆英才青年拔尖人才两江新区配套，2024-2027，主持。
3. “含参循环程序的自动并行与优化”， 重庆英才青年拔尖人才，主持，已结题。
4. “参数半代数系统的误差可控计算理论与算法”，国家自然科学基金面上项目，主持，已结题。
5. “零误差计算在程序自动并行化中的应用”，中国科学院西部青年学者A，主持，已结题。
6. “基于三角分解的参数多项式优化”，国家自然科学基金青年项目，主持，已结题。
中国科学院重庆绿色智能技术研究院 版权所有京ICP备05002857号渝公网安备50010943035号
