Kazuaki Tanaka
Chief Researcher, Fundamental Research Dept., RICOS Co. Ltd.
Adjunct Researcher, Research Institute for Science and Engineering, Waseda University
Representative Director, Mathematics for Social Implementation Center (MaSIC)
Ph.D. / JST FOREST Researcher
Contact
Keywords
Validation Mathematics Deep Learning Partial Differential Equations Rigorous Computation Computer-Assisted Proofs Numerical Analysis
Education
Apr. 2014 – Mar. 2017
Graduate School of Fundamental Science and Engineering, Waseda University (Doctor course)
Apr. 2012 – Mar. 2014
Graduate School of Fundamental Science and Engineering, Waseda University (Master course)
Apr. 2008 – Mar. 2012
Department of Applied Mathematics, School of Fundamental Science and Engineering, Waseda University
Career
Sep. 2026 –
Chief Researcher, Fundamental Research Dept., RICOS Co. Ltd.
Sep. 2026 –
Adjunct Researcher, Research Institute for Science and Engineering, Waseda University
Apr. 2026 –
Representative Director, Mathematics for Social Implementation Center (MaSIC)
Apr. 2023 – Aug. 2026
Associate Professor, Global Center for Science and Engineering, Faculty of Science and Engineering, Waseda University
Apr. 2018 – Mar. 2023
Assistant Professor, Institute for Mathematical Science, Waseda University
Apr. 2017 – Mar. 2018
Assistant Professor, Department of Applied Mathematics, Faculty of Science and Engineering, Waseda University
Prizes
2022 Outstanding Presentation Award, JSST 2022
2016 Isao Okawa Memorial Achievement Award, Waseda University
2014 Student Presentation Award, JSST 2014
2013 Student Presentation Award, JSST 2013
2010 Encouragement award, Waseda Manufacturing Contest
Grants
Oct. 2025 – Mar. 2031
Designing Order: Predictive Mathematics for the Control of Natural River Dynamics JST CREST Collaborator
Apr. 2024 – Mar. 2028
Elucidation of the stabilisation mechanism of naturally-derived river channel based on observation big data during floods and identification of river channel design indicators KAKENHI Scientific Research (A) Co-Investigator
Apr. 2025 – Sep. 2026
精度保証付きPINNsの開発と実問題への応用
68th Engineering Research Grant, Mizuho Foundation for the Promotion of Sciences PI
Jan. 2022 – Dec. 2023
急激な温度変化を伴う反応拡散現象に対する精度保証付き数値計算法に関する研究 Kayamori Foundation of Informational Science Advancement PI
Jan. 2021 – Dec. 2021
相分離現象解明のための精度保証付き数値計算法
The Okawa Foundation for Information and Telecommunications PI
Apr. 2019 – Mar. 2022
Sign-change structure analysis for reaction-diffusion models based on rigorous numerical computation KAKENHI Early-Career Scientists PI
Aug. 2017 – Mar. 2019
Verified numerical computation for solutions to partial differential equations describing reaction diffusion models KAKENHI Research Activity Start-up PI
Apr. 2017 – Mar. 2020
反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究
60th Engineering Research Grant, Mizuho Foundation for the Promotion of Sciences PI
Academic Activities
2018 Organization Committee, Secretary, SCAN 2018, Waseda University, Sep. 10-15, 2018