About me

I am 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 (algorithmic design, complexity analysis, and convergence analysis)
• Iterative solvers for linear and nonlinear systems including preconditioning techniques
• Extensions to stochastic, randomized, and distributed settings, with high-performance implementations
• Foundations and early applications of formal methods (e.g., proof assistants / checkable reasoning) to reliable optimization and training workflows