About Me 日本語

Keywords

Validation Mathematics, Deep Learning, Partial Differential Equations, Rigorous Computation, Computer-Assisted Proofs, Numerical Analysis 

Education

Apr. 2008 - Mar. 2012: Department of Applied Mathematics, School of Fundamental Science and Engineering, Waseda University, Tokyo, Japan

Apr. 2012 - Mar. 2014: Graduate School of Fundamental Science and Engineering, Waseda University, Tokyo, Japan (Master course)

Apr. 2014 - Mar. 2017: Graduate School of Fundamental Science and Engineering, Waseda University, Tokyo, Japan (Doctor course) 

Career

Apr. 2017 - Mar. 2018: Assistant Professor, Department of Applied Mathematics, Faculty of Science and Engineering, Waseda University.

Apr. 2018 - Mar. 2023: Assistant Professor, Institute for Mathematical Science, Waseda University. 

Apr. 2023 - Present: Associate Professor, Global Center for Science and Engineering, Waseda University. 

Prizes

Engineering Education Award, Japanese Society for Engineering Education, 2023.

Outstanding Presentation Award, The 41st JSST Annual International Conference on Simulation Technology (JSST 2022), 2022.

Grantees FOS Recipients, Funai Foundation For Information Technology, 2022.

The 8th WASEDA e-Teaching Award (Grand Award), 2020.

Poster Award, Annual conference of the Japan Society for Industrial and Applied Mathematics (JSIAM), 2016.

Isao Okawa Memorial Achievement Award, Waseda University, 2016．

Student Presentation Award, JSST Annual International Conference on Simulation Technology, 2014．

Student Presentation Award, JSST Annual International Conference on Simulation Technology, 2013．

Encouragement award, Waseda Manufacturing Contest, 2010.

Academic activities

The Organizer of International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), March 13-18, Online. Link

The Organizer of Minisymposium "Numerical verification methods and their application to differential equations", 9th International Congress on Industrial and Applied Mathematics - ICIAM 2019, July 15-19, Valencia, Spain. Link

Organization Committee, The Secretary, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018), Waseda University, Tokyo, Japan, Sep. 10-15, 2018. Link

Local Organizer, SIAM Conference on Parallel Processing for Scientific Computing, Waseda University, Tokyo, Japan, Mar. 7-10, 2018. Link