
研究員
陳長波,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,子課題負責人。