人才队伍
研究员
陈长波,2011年8月在加拿大西安大略大学计算机系获博士学位。2011年9月-2013年8月在西安大略大学从事博士后研究,2013年9月加入中国科学院重庆绿色智能技术研究院电子信息研究所自动推理与认知研究中心,先后获得中国科学院西部青年学者和重庆英才青年拔尖人才称号。
主要学术贡献包括提出了一系列高效的多项式系统求解算法并应用于生物化学网络平衡点分析、量子关联判定、循环程序的自动并行和优化等。开发的多项式和半代数系统求解器被集成进著名数学软件Maple的多个官方发行版中。迄今在SIAM-ADS、JSC、 PRA等杂志和ISSAC、CASC等会议上发表学术论文50余篇。多次担任奥地利、加拿大和德国等自然科学基金会的评审专家及国际会议ISSAC、CASC、ICMS等的程序委员会委员,担任中国数学会计算机数学大会CM2024程序委员会共同主席。曾受邀在中国数学会年会、中国工业与应用数学学会年会、中国数学会计算机数学大会、德国Dagstuhl 研讨会、国际工业与应用数学大会作邀请报告。
自动推理与认知研究中心
计算机代数、高性能计算和应用机器学习
中国数学会计算机数学专委会委员
2011年,获ACM-SIGSAM颁发的杰出软件演示奖
2023年,获得第六届重庆市电子学会十佳优秀科技工作者
1. 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作者
2. Changbo Chen, Changliang Ren, Hongqing Lin and He Lu. Entanglement Structure Detection via Machine Learning. Quantum Science and Technology 6, 035017, 2021. 第1作者
3. Changbo Chen, Wenyuan Wu, Yong Feng. Numerical roadmap of smooth bounded real algebraic surface. Computer Aided Geometric Design 79, 101858, 2020. 第1作者
4. 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作者
5. Changliang Ren, Changbo Chen. Steerability detection of an arbitrary two-qubit state via machine learning. Physical Review A 100(2), 022314, 2019. 共同第1作者
6. 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作者
7. Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation 75, 74-93, 2016. 第1作者
8. Changbo Chen. Chordality Preserving Incremental Triangular Decomposition and Its Implementation. ICMS 2020: 27-36, 2020. 第1作者
9. Changbo Chen, Zhangpeng Zhu, Haoyu Chi. Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ICMS 2020: 281-291, 2020. 第1作者
10. Changbo Chen and Marc Moreno Maza. An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. Computer Mathematics, R. Feng et al., Springer-Verlag, pp 199-221, 2014. 第一作者
1. “计算机数学核心理论、算法与软件”,国家重点研发计划,2023-2028,子课题负责人。