Associate Professor
Institute of Systems and Information Engineering
University of Tsukuba
Location: Ibaraki, Japan
I become an associate professor in Institute of Systems and Information Engineering (Master's/Doctoral Programs in Risk and Resilience Engineering and College of Engineering Systems), University of Tsukuba. My research interest is (not only) computer-assisted proofs for differential equations (partial differential equations, delay differential equations, and ordinary differential equations).
Education | |
---|---|
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) |
Occupation |
|
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-2023 | Assistant professor, Faculty of Engineering, Information and Systems, University of Tsukuba |
2018 | Part-time lecturer, Chiba University |
2019 | Part-time lecturer, Shibaura Institute of Technology |
2023-present | Part-time lecturer, Waseda University |
2023 | Assistant professor, Institute of Systems and Information Engineering, University of Tsukuba |
2024-present | Associate professor, Institute of Systems and Information Engineering, University of Tsukuba |
2024 | CRM-Simons Professor at the CRM, Centre de recherches mathématiques, Université de Montréal |
Awards |
|
Sep. 2023 | 2023 Young Faculty Encouragement Award in University of Tsukuba |
Apr. 2020 | 2019 Contribution to Education Award in Faculty of Engineering, Information and Systems |
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.
TRIOS | researchmap | Google Scholar | ResearchGate | KAKEN | MathSciNet | ORCID | ResearcherID | GitHub