筑波大学システム情報系（大学院システム情報工学研究科リスク工学専攻，理工学群工学システム学類担当）の准教授です． 私の主な研究テーマは無限次元力学系の計算機援用証明ならびに微分方程式（偏微分方程式, 遅延微分方程式, 常微分方程式）に対する解の精度保証付き数値計算法の開発です．
| 学歴 | |
|---|---|
| 平成15年（2003）3月 | 千葉県立成東高等学校 卒業 |
| 平成16年（2004）4月 | 早稲田大学 教育学部 理学科 数学専修（現・教育学部 数学科） 入学 |
| 平成20年（2008）3月 | 同 卒業 学士（理学） |
| 平成20年（2008）4月 | 早稲田大学 大学院基幹理工学研究科 数学応用数理専攻 修士課程 入学 |
| 平成22年（2010）3月 | 同 修了 修士（理学） |
| 平成22年（2010）4月 | 早稲田大学 大学院基幹理工学研究科 数学応用数理専攻 博士後期課程 入学 |
| 平成24年（2012）3月 | 同 修了 博士（理学） |
職歴 |
|
| 平成23年（2011）4月 | 日本学術振興会 特別研究員 DC2（〜平成24年3月） |
| 平成24年（2012）4月 | 日本学術振興会 特別研究員 PD（〜平成25年3月） |
| 平成24年（2012）4月 | 早稲田大学 非常勤講師（〜平成25年3月） |
| 平成25年（2013）4月 | 早稲田大学 基幹理工学部 応用数理学科 助教（〜平成27年3月） |
| 平成26年（2014）4月 | 芝浦工業大学 非常勤講師（〜平成28年3月） |
| 平成27年（2015）4月 | 早稲田大学 理工学術院 総合研究所 次席研究員（〜平成28年3月） |
| 平成28年（2016）4月 | 筑波大学 システム情報系 助教（〜令和5年12月） |
| 平成30年（2018）10月 | 千葉大学 非常勤講師（〜平成31年2月） |
| 令和1年（2019）10月 | 芝浦工業大学 非常勤講師（〜令和2年3月） |
| 令和5年（2023）4月 | 早稲田大学 教育・総合科学学術院 非常勤講師 |
| 令和6年（2024）1月 | 筑波大学 システム情報系 准教授 |
| 令和6年（2024）9月 | CRM-Simons Professor at the CRM, Centre de recherches mathématiques, Université de Montréal（〜令和6年12月） |
受賞 |
|
| 令和5年（2023）9月 | 令和5年度筑波大学若手教員奨励賞 |
| 令和2年（2020）4月 | 令和元年度システム情報系教育貢献賞 |
| 平成29年（2017）9月 | 日本応用数理学会2017年度年会 最優秀賞ポスター賞 |
| 平成28年（2016）10月 | JSST 2016 Outstanding Presentation Award |
| 平成28年（2016）6月 | 日本応用数理学会2015年度若手優秀講演賞 |
| 平成28年（2016）4月 | 第4回 WASEDA e-Teaching Award |
| 平成23年（2011）10月 | 日本シミュレーション学会奨励賞 |
| 平成23年（2011）6月 | EASIAM 2011 Student Paper Competition 3rd Prize |
Studies on verified computations for solutions to elliptic boundary value problems,
楕円型境界値問題の解の精度保証付き数値計算に関する研究, 早稲田大学, 2012 (PDF).
微分方程式の境界値問題に対する精度保証付き数値計算法の研究,
Verified Numerical Computations for Boundary Value Problems of Differential Equations, 早稲田大学, 2010.
TRIOS | researchmap | Google Scholar | ResearchGate | KAKEN | MathSciNet | ORCID | ResearcherID | GitHub