多项式优化、半定规划、实代数几何、符号计算及其在量子信息、运筹控制、人工智能、计算机视觉、自动推理、信号处理、程序验证等领域的应用。更多信息请见个人主页：https://wangjie212.github.io/jiewang/。

   

070104-应用数学

多项式优化，实代数几何，半定规划，符号计算
非交换多项式优化，量子信息

2012-09--2017-07   中国科学院大学   博士学位
2008-09--2012-07   中国科学技术大学   学士学位

   

2021-06~现在, 中国科学院数学与系统科学研究院, 副研究员
2019-07~2021-06,法国国家科学中心, 博士后
2017-07~2019-06,北京大学, 博士后

2024-06-06-今,中国数学会计算机数学专委会委员,
2021-06-06-2024-06-06,中国数学会计算机数学专委会委员,

应用数学中的代数与几何方法

   

（1） 北京运筹学会2022青年优秀论文, 一等奖, 省级, 2022
（2） 关肇直青年研究奖, 一等奖, 研究所（学校）, 2022

   

（1） Sparse Polynomial Optimization with Unbounded Sets, SIAM Journal on Optimization, 2025, 第 3 作者  通讯作者
（2） Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets, FORMAL METHODS, PT I, FM 2024, 2025, 第 2 作者
（3） Certifying Ground-State Properties of Quantum Many-Body Systems, Physical Review X, 2024, 第 1 作者
（4） WEIGHTED GEOMETRIC MEAN, MINIMUM MEDIATED SET, AND OPTIMAL SIMPLE SECOND-ORDER CONE REPRESENTATION, SIAM JOURNAL ON OPTIMIZATION, 2024, 第 1 作者  通讯作者
（5） A Moment-Sum-of-Squares Hierarchy for Robust Polynomial Matrix Inequality Optimization with Sum-of-Squares Convexity, MATHEMATICS OF OPERATIONS RESEARCH, 2024, 第 2 作者  通讯作者
（6） A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity, Mathematics of Operations Research, 2024, 第 2 作者  通讯作者
（7） SONC optimization and exact nonnegativity certificates via second-order cone programming, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
（8） Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 第 1 作者  通讯作者
（9） State polynomials: positivity, optimization and nonlinear Bell inequalities, MATHEMATICAL PROGRAMMING, 2023, 第 4 作者
（10） CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization, ACM Transactions on Mathematical Software (TOMS), 2022, 第 1 作者  通讯作者
（11） Nonnegative Polynomials and Circuit Polynomials, SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 第 1 作者  通讯作者
（12） Stability of Linear Systems under Extended Weakly-Hard Constraints, IEEE Control Systems Letters, 2022, 第 4 作者
（13） SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 2 作者
（14） On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods, SN Computer Science, 2021, 第 2 作者
（15） CHORDAL-TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY WITH CHORDAL EXTENSION, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
（16） BISTABILITY OF SEQUESTRATION NETWORKS, DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2021, 第 2 作者  通讯作者
（17） SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions, 2021 American Control Conference (ACC), 2021, 第 1 作者  通讯作者
（18） TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
（19） Exploiting Sparsity in Complex Polynomial Optimization, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2021, 第 1 作者
（20） Exploiting term sparsity in noncommutative polynomial optimization, COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2021, 第 1 作者
（21） TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization, MEGA, 2021, 第 2 作者
（22） Systems of polynomials with at least one positive real zero, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2020, 第 1 作者  通讯作者
（23） Toric P-difference varieties, Toric P-difference varieties, SCIENCE CHINA Mathematics, 2020, 第 1 作者  通讯作者
（24） A second order cone characterization for sums of nonnegative circuits, 第45届国际符号和代数运算研讨会 (ISSAC), 2020, 第 1 作者  通讯作者
（25） A New Sparse SOS Decomposition Algorithm Based on Term Sparsity, PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19), 2019, 第 1 作者  通讯作者
（26） Finite basis for radical well-mixed difference ideals generated by binomials, COMMUNICATIONS IN ALGEBRA, 2018, 第 1 作者  通讯作者
（27） Difference indices of quasi-prime difference algebraic systems, JOURNAL OF SYMBOLIC COMPUTATION, 2018, 第 1 作者  通讯作者
（28） Toric Difference Variety, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 第 3 作者
（29） 差分代数中若干问题的研究, The Research of Certain Problems in Difference Algebra, 2017, 第 1 作者
（30） MONOMIAL DIFFERENCE IDEALS, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 第 1 作者  通讯作者

（1） 稀疏多项式优化：理论与实践, Sparse Polynomial Optimization: Theory and Practice, World Scientific Press, 2023-05, 第 2 作者

   

（ 1 ） 计算机数学核心理论、算法与软件, 参与, 国家任务, 2024-01--2028-12
（ 2 ） 多项式优化理论、算法与应用, 负责人, 国家任务, 2023-01--2025-12
（ 3 ） 面向安全攸关系统的半代数优化算法、软件测试, 参与, 国家任务, 2023-01--2027-12
（ 4 ） 中国运筹学会青年人才发展专项, 负责人, 其他, 2023-01--2024-12
（ 5 ） 陈景润未来之星, 负责人, 研究所自主部署, 2022-01--2024-12
（ 6 ） 符号数值混合计算在代数视觉中的应用, 参与, 国家任务, 2022-01--2025-12

（1）多项式优化与低秩SDP   SIAM优化会议   2023-05-31
（2）SONC锥的二阶锥表示   SIAM应用代数几何会议   2021-08-19
（3）在大规模多项式优化中利用稀疏性   SIAM优化会议   2021-07-21
（4）在非交换多项式优化中利用稀疏性   欧洲数学大会   2021-06-21
（5）在SOS规划和多项式优化中利用项稀疏性   国际连续优化会议   2019-08-06
（6）非负多项式与circuit多项式   SIAM应用代数几何会议   2019-07-13