Dr. Xuefeng Liu is an associate professor at Graduate School of Science and Technology of Niigata University. His research mainly includes eigenvalue estimation for differential operators, quantitative a posteriori error estimation of finite element method, verified computation of matrix and partial differential equations and so on.

During his visit, he will give a talk in the Computer Mathematics Seminar about erified computation of partial differential equations.