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.

劉學峰（Xuefeng Liu）自2023年起擔任東京女子基督教大學（Tokyo Woman's Christian University）的教授。他於1998年至2003年在中國科技大學（University of Science & Technology of China）獲得學士學位，並於2009年在東京大學（University of Tokyo）獲得碩士和博士學位。劉學峰曾任職於早稻田大學（Waseda University）助理教授，直到2014年，然後在新潟大學（Niigata University）擔任副教授，直到2023年。他的研究專注於微分方程的數值誤差分析，特別是對特徵值問題的驗證計算，以及在三維領域中為納維爾-斯托克斯方程（Navier-Stokes equations）開發計算機輔助數學證明。