About me

I am currently a Tenure-track Assistant Professor at Great Bay University(GBU), based at the Center for Intelligent Computing of the Great Bay Institute for Advanced Study, with a joint appointment in the School of Computing and Information Technology at GBU.

Prior to this, I was a Postdoctoral Researcher at the Mathematical Institute, University of Oxford, working with Prof. Coralia Cartis. I received my Ph.D. in Mathematics from The University of Queensland under the supervision of Prof. Fred Roosta.

E-mail: liuy at gbu.edu.cn

Research interests

My research lies at the intersection of numerical optimization and numerical linear algebra, with an emphasis on scalability under limited memory and compute, and connections to high-performance computing and AI for Mathematics. Current focuses include:

• Second- and higher-order methods for large-scale nonconvex optimization (complexity, design, and analysis)
• Iterative methods and solvers for linear and nonlinear systems (including preconditioning)
• Extensions to stochastic, randomized, and distributed settings, and high-performance implementations
• Foundations and early applications of formal methods (e.g., proof assistants / checkable reasoning) for reliable optimization and training workflows