肖水晶，男，1975年9月15日生于江西崇义。2000年7月毕业于南昌大学计算数学及其应用软件专业并获理学学士学位；2006年6月毕业于南昌大学计算机应用技术专业获工学硕士学位；2014年6月毕业于南昌大学管理科学与工程专业获管理学博士学位。一直从事数学的教学与科研工作，现为南昌大学数学系副教授，计算数学硕士生导师。

主要的研究方向是实代数，多项式优化，算法实代数几何与符号计算。主持了国家自然科学基金、江西省自然科学基金和江西省教育厅一般项目各一项；作为主要成员参加过三项国家自然科学基金项目的研究。已有十余篇学术论文分别发表于《Journal of Global Optimization》，《Science China Mathematics 》，《Journal of Algebra》，《Journal of Systems Science and Complexity》，《中国科学：数学》和《计算机应用》等国内外杂志。

科研成果：

（一）主持科研项目情况

1.            国家自然科学基金地区基金项目，基于吴(文俊)方法的实代数几何中符号计算，2016/01-2019/12；

2.            江西省自然科学基金，实代数几何中的符号计算及其应用，2015/01-2017/12；

3.            江西省教育厅一般项目，用吴(文俊)方法捕获实代数集和半代数集的特殊点，2012/01-2014/12。

（二）参与科研项目情况

1.             国家自然科学基金地区基金项目，实代数几何方法及其在多项式优化中的应用，2012/01-2015/12；

2.             国家自然科学基金面上项目，粒子群优化算法的收敛机理研究，2012/01-2015/12；

3.             国家自然科学基金地区基金项目，实代数几何中构造性理论与算法，2008/01-2010/12。

（三）发表论文情况

1.        计算多项式函数的全局下确界和全局最小值的算法, 中国科学：数学，2011, 41(9): 759-788.

2.        Algorithms for computing the global infimum and minimum of a polynomial function，Science China Mathematics, 2012, 55(4)：881-891.

3.        Semi-algebraically connected components minimum points of a polynomial function, Journal of Systems Science &Complexity , 2013, 26: 1028–1046.

4.        Determination of the limits for multivariate rational functions, Science China Mathematics, 2014, 57(2): 397-416.

5.        An improved algorithm for deciding semi-definite polynomials，Journal of Algebra, 2014,417(11):72–94.

6.        Equality-constrained minimization of polynomial functions，Science China Mathematics, 2015, 58(10): 2181–2204.

7.        Real valuations and the limits of multivariate rational functions, Journal of Algebra and Its Applications, 2015, 14(5) 1550067 (17 pages).

8.        Stellensätze for matrices over a commutative ring, Journal of Algebra and Its Applications, 2017, 16(2): 1750032 (15 pages).