guaranteed computational methods for self-adjoint differential eigenvalue problems

Xuefeng Liu is a Professor at Tokyo Woman’s Christian University since 2023. He earned his bachelor’s degree from the University of Science & Technology of China (1998-2003) and obtained his Master’s and PhD degrees at the University of Tokyo by 2009. Liu was an Assistant Professor at Waseda University until 2014, then an Associate Professor at Niigata University until 2023. His research focuses on numerical error analysis for differential equations, especially verified computation for eigenvalue problems, and developing computer-assisted mathematical proofs for the Navier-Stokes equations in 3D domains.