Faculty of Engineering, Information and Systems
University of Tsukuba
Location: Ibaraki, Japan
Subjects: Numerical analysis, Verified numerical computations
I am an assistant professor in Faculty of Engineering, Information and Systems (Department of Risk Engineering and College of Engineering Systems), University of Tsukuba. My research interest is (not only) verified numerical computations for differential equations (ODEs, DDEs, and PDEs) and validation for the reliability of mathematical models.
|2004-2008||School of Education, Waseda University (Bachelor of Science)|
|2008-2010||Graduate School of Fundamental Science and Engineering, Waseda University (Master of Science)|
|2010-2012||Graduate School of Fundamental Science and Engineering, Waseda University (Doctor of Science)|
|2011-2012||Research Fellow of the Japan Society for the Promotion of Science (DC2)|
|2012-2013||Research Fellow of the Japan Society for the Promotion of Science (PD)|
|2012-2013||Part-time lecturer, Waseda University|
|2013-2015||Assistant professor, Department of Applied Mathematics, Waseda University|
|2014-2016||Part-time lecturer, Shibaura Institute of Technology|
|2015-2016||Junior researcher, Research Institute for Science and Engineering, Waseda University|
|2016-present||Assistant professor, Faculty of Engineering, Information and Systems, University of Tsukuba|
|2018||Part-time lecturer, Chiba University|
|Sep. 2017||JSIAM Annual Meeting 2017 Best Poster Award|
|Oct. 2016||JSST 2016 Outstanding Presentation Award|
|Jun. 2016||JSIAM Award for an Excellent Talk by a Young Scientist|
|Apr. 2016||WASEDA e-Teaching Award|
|Oct. 2011||Young Researcher’s Award of Japan Society for Simulation Technology (JSST)|
|Jun. 2011||EASIAM 2011 Student Paper Competition 3rd Prize|
Studies on verified computations for solutions to elliptic boundary value problems, Waseda Univ. 2012 (PDF).
Verified Numerical Computations for Boundary Value Problems of Differential Equations, Waseda Univ. 2010.