Responsive image

Assistant Professor
Faculty of Engineering, Information and Systems
University of Tsukuba

Responsive image

About me »

Research Interest

Rigorous numerical computations for solutions of differential equations (ODEs and PDEs) are main interests of my study. A number of computer-assisted methods based on verified numerical computations for proving the existence and local uniqueness of solutions to various elliptic equations have been developed and improved over the last two decades by many researchers. My current interest is to validate the blow-up solutions of ODEs and to develop numerical methods of verified computing for parabolic and hyperbolic equations.

More »

Travel Schedule

2017 Travel Schedule »

Recent papers

Google Scholar Citations

Publications »