Current and Completed Students
Current students
Tianshi Yu
Topic: Verification and Analysis of Quantum Programs
Hao Liang
Topic: Real Algebra Geometry
Zihao Dai
Topic: Convex Algebra Geometry and Singularity Theory
Jingyu Lu
Topic: Lower Rank Matrix Completions
Junqi Liu
Topic: AI for Mathematics
Completed students
Ph. D.
- Jianping Yu 2005
Thesis: Applications of Differential Equation Mechanization Methods in
Hybrid Comptuation and Automated Theorem Proving
Current Position: Associate Professor of University of Science
and Technology, Beijing, China
- Bingyu Li 2006
Thesis: Fast Algorithms Related to Approximate Greatest Common
Divisors of Univariate Polynomials
Current Position: Associate Professor of Northeast Normal University, Changchun, China
- Zhengfeng Yang 2006
Thesis: Approximate Factorization of Multivariate Polynomials and Some
Problems in Approximate Greatest Common Divisors
Current Position: Professor of East China Normal University, Shanghai, China
- Xiaoli Wu 2009
Thesis: Symbolic-Numeric Methods for Solving Polynomial System
Current Position: Higher Education Press, Beijing, China
-
Feng Guo 2011
Thesis: Polynomial Optimization Based on Sums of Squares of Polynomials and Polar Variety
Current Position: Associate Professor of Dalian University of Technology,
Dalian, China
- Yue Ma 2012
Thesis: Polynomial Optimization Via Low-rank Matrix Completion and Semidefinite Programming
Current Position: Saudi Aramco Advanced Research Center
Beijing, China
- Nan Li 2013
Thesis: On Isolated Singular Solutions in Polynomial System Solving
Current Position: Associate Professor of Shenzhen University,
Shenzhen, China
- Qingdong Guo 2014
Thesis: Symbolic Algorithm for Computing Exact Solutions of Linear Matrix Inequalities
Current Position: Research Institute for Science and Technology,
Beijing, China
- Chu Wang 2016
Thesis: Some Topics in Polynomial Optimization
and Convex Algebraic Geometry
Current Position: China Mobile
Beijing, China
- Zhiwei Hao 2017
Thesis: Numerical Sparse Interpolation and
Computing Simple Multiple Zeros of Polynomial Systems
Current Position: Huawei Corporate,
Beijing, China
- Zhi-Hong Yang 2018
Thesis: Computation of Real Radicals and Global Optimization
of Polynomials
Current Position: Assistent Professor,
Central South University, Changsha, China
- Sizhuo Yan 2023
Thesis: Noncommutative Polynomial Optimization and S-Lemma
Current Position: Post-doctor
Academy of Mathematics and Systems Science, Beijing, China
- Jianting Yang 2023
Thesis: Computing Sparse Fourier Sum of Squares on Finite Abelian
Groups and Applications
Current Position: Post-doctor
aCNRS@CREATE, Singapore,
M.S.