https://orcid.org/0000-0003-4546-1620My current research is on the finite element method, especially its application in the eigenvalue bounds for various differential operators, and the computer-assisted for nonlinear partial differential equations.