郭峰  

大连理工大学，数学科学学院， 副教授，硕士生导师

教育经历：

• 2007-09 至 2012-01, 中国科学院数学与系统科学研究院, 应用数学, 博士

• 2003-09 至 2007-06, 山东大学, 数学与应用数学, 学士

工作经历：

• 2018-01 至 今, 大连理工大学, 数学科学学院, 副教授

• 2015-06 至 2017-12, 大连理工大学, 数学科学学院, 讲师

• 2013-09 至 2015-06, 大连理工大学，数学科学学院，师资博士后

• 2012-02 至 2013-07, 美国加州大学圣地亚哥分校，博士后

社会兼职：

中国工业与应用数学学会成员、中国数学会计算机数学专业委员会委员、Reviewer of Mathematical Reviews

研究兴趣: 

多项式及代数优化相关理论和算法，以及在神经网络验证等人工智能系统分析等领域的应用

主持及承担科研项目：

• 国家自然科学基金委员会,面上项目,  12471478 , 大规模多项式优化问题平方和松弛方法研究

  2025-01-01至2028-12-31 , 主持
  

• 国家自然科学基金青年科学基金项目，11401074，基于实代数几何的多项式优化 方法研究

  2015.01-2017.12，主持

• 国家自然科学基金面上项目，11571350，凸代数几何中的若干问题研究

  2016.01 -2019.12，参与

• 国家自然科学基金面上项目，11471066，适定的多元样条逼近方法研究

  2015.01 -2018.12，参与

科研论文：

[22] Si Tiep Dinh; Feng Guo; Hong Duc Nguyen; Tien Son Pham; Limits of real bivariate rational functions, Journal of Symbolic Computation, 2024, to appear.

[21] Si Tiep Dinh; Feng Guo; Hong Duc Nguyen; Tien Son Pham; Computation of the Lojasiewicz exponents of real bivariate analytic functions, Manuscripta Mathematica, 2024, to appear.

[20] Feng Guo; Jie Wang; A moment-SOS hierarchy for robust polynomial matrix inequality optimization with SOS-convexity, Mathematics of Operations Research, 2024, to appear.

[19] Feng Guo; Sizhuo Yan; Lihong Zhi; Extensions of S-lemma for noncommutative polynomials, Journal of Operator Theory, to appear, 2024.

[18] Feng Guo; Meijun Zhang; An SDP method for fractional semi-infinite programming problems with SOS-convex polynomials, Optimization Letters, 2024, 18:105-133.

[17] Feng Guo; Liguo Jiao; Do Sang Kim; On continuous selections of polynomial functions. Optimization, 2024, 73(2): 295-328.

[16] Feng Guo; Liguo Jiao; Do Sang Kim; Tien-Son Pham; On types of KKT points in polynomial optimization, Journal of Systems Science & Complexity, 2023,36: 2186-2213.

[15] Feng Guo; Liguo Jiao; A new scheme for approximating the weakly efficient solution set of vector rational optimization problems, Journal of Global Optimization, 2023, 86:905–930.

[14] Feng Guo; Liguo Jiao; On solving a class of fractional semi-infinite polynomial programming problems, Computational Optimization and Applications, 2021, 80: 439-481.

[13] Si-Tiep Dinh; Feng Guo; Tien-Son Pham; Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions, Journal of Mathematical Analysis and Applications, 2021, 499: 125057.

[12] Feng Guo; Xiaoxia Sun; On semi-infinite systems of convex polynomial inequalities and polynomial optimization problems, Computational Optimization and Applications, 2020, 75:669-699.

[11] Feng Guo; Tien-Son Pham; On types of degenerate critical points of real polynomial functions, Journal of Symbolic Computation, 2020, 99:108-126.

[10] Feng Guo; Xiaoxia Sun; Semidefinite programming relaxations for linear semi-infinite polynomial programming, Pacific Journal of Optimization, 2020, 16(3): 395-418.

[9] Feng Guo; Xiaoxia Sun; LP relaxations for a class of linear semi-infinite programming problems. Optimization, 2017, 66(5): 657-673.

[8] Feng Guo; Chu Wang; Lihong Zhi; Semidefinite representations of noncompact convex sets, SIAM Journal on Optimization，2015, 25(1): 377-395.

[7] Feng Guo; Mohab Safey El Din; Chu Wang; Lihong Zhi; Optimizing a parametric linear function over a noncompact real algebraic variety. In Proceedings of 2015 International Symposium on Symbolic and Algebraic Computation (ISSAC), Bath, UK, 2015, pages 205-212.

[6] Li Wang; Feng Guo; Semidefinite relaxations for semi-infinite polynomial programming,Computational Optimization and Applications, 2014, 58(1): 133-159.

[5] Feng Guo; Li Wang; Guangming Zhou; Minimizing rational functions by exact Jacobian SDP relaxation applicable to finite singularities, Journal of Global Optimization, 2014, 58: 261-284.

[4] Feng Guo，Chu Wang, and Lihong Zhi. Optimizing a linear function over a noncompact real algebraic variety. In Proceedings of the 2014 International Symposium on Symbolic-Numeric Computation, pages 39-40, 2014.

[3] Aurélien Greuet; Feng Guo; Mohab Safey El Din; Lihong Zhi; Global optimization of polynomials restricted to a smooth variety using sums of squares. Journal of Symbolic Computation, 2012, 47:503-518.

[2] Feng Guo; Erich Kaltofen; Lihong Zhi. Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. In Proceedings of 2012 International Symposium on Symbolic and Algebraic Computation (ISSAC), Grenoble, France, 2012, pages 195-202.

[1] Feng Guo; Mohab Safey El Din; Lihong Zhi; Global optimization of polynomials using generalized critical values and sums of squares. In Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC), Munich, Germany, 2010, pages 107-114.

教学奖励：

• 大连理工大学青年教师讲课比赛一等奖，2019.

• 首届全国高校数学微课程教学设计竞赛，东北赛区一等奖，2015.