Projects
11. 中国科学院国际伙伴计划“未来伙伴网络专项”: 符号计算与组合恒等式机器证明. Period: 2024-2026. Project leader: 陈绍示.
10. 科技部重点研发项目: 计算机数学核心理论、算法与软件. Period: 2024-2028. Project leader: 支丽红.
9. 科技部重点研发项目: 安全攸关软件框架验证的数学方法与应用. Period: 2023-2027. Project leader: 詹乃军.
8. 国家自然科学基金青年项目: 多项式优化理论、算法与应用. Period: 2023-2025. Project leader: Jie Wang.
7. 中国运筹学会青年人才发展专项: 大规模多项式优化求解器的开发与应用. Period: 2023-2024. Project leader: Jie Wang.
6. 中国科学院数学与系统科学研究院: 陈景润未来之星计划. Period: 2022-2024. Project leader: Jie Wang.
5. 国家自然科学基金面上项目: Use Symbolic-Numeric Hybrid Computation in Algebraic Vision. Period: 2022-2025. Project leader: 李楠. Other participants: Jie Wang and Jianliang Tang.
4. CIMI Research Project: Efficient Polynomial Optimization for Quantum and Control Systems. Period: 2021-2022. Project leader: Victor Magron. Other participants: Y. Ebihara, I. Klep, M. Maggio, I. Nechita, D. Peaucelle, J. Povh, A. Rantzer, H. Waki, and J. Wang.
3. PEPS2 research collaboration between LAAS and RTE: Fast Polynomial Optimization Techniques for Optimal Power Flow. Period: 2021-2022. Project leader: Victor Magron. Other participants: Jean-Bernard Lasserre, Jie Wang, Jean Maeght, Patrick Panciatici and Manuel Ruiz.
2. Tremplin-ERC Starting Grant: Certification and Modeling of Polynomial Optimization Problems. Period: 2019-2020. Project leader: Victor Magron. Other participants: Jean-Bernard Lasserre and Jie Wang.
1. 中国博士后科学基金: Theory of Sparse Nonnegative Polynomials and Effective Decision algorithms. Period: 2018-2019. Project leader: Jie Wang.
Awards
3. DO-LAAS Research Fellow， 2023.
2. 关肇直青年研究奖， 2022.
1. 北京运筹学会青年优秀论文， 2022.