経歴

職歴

  • 2025年10月 – 現在
  • 2021年4月 – 2025年9月
    特定講師
    京都大学 大学院人間・環境学研究科
  • 2019年5月 – 2021年4月
  • 2018年9月 – 2019年5月
    博士研究員（日本学術振興会 特別研究員 PD）
    九州大学大学院システム情報科学研究院
  • 2018年4月 – 2018年8月
    研究員（日本学術振興会 特別研究員 DC2）
    東京大学総合文化研究科
  • 2015年4月 – 2015年8月
    研究員（パート）
    ドイツ ダルムシュタット工科大学

学歴

  • 2015年9月 – 2018年8月
    東京大学 博士後期課程
    総合文化研究科広域科学専攻広域システム科学系 河村研究室
  • 2013年4月 – 2015年3月
    ダルムシュタット工科大学 修士課程
    大学院数学研究科数学専攻
  • 2009年10月 – 2013年3月
    ダルムシュタット工科大学 学部
    数学学部数学学科
  • 2008年10月 – 2011年10月
    ダルムシュタット工科大学 学部
    情報科学学部数学情報科学学科

長期的研究訪問、留学等

  • 2013年10月 – 2014年3月
    研究生（交換留学プログラム）
    東京大学大学院情報理工学系研究科コンピュータ科学専攻 今井研究室
  • 2011年8月 – 2012年6月
    留学生（交換留学プログラム）
    オスロ大学 数学学部数学学科

短期的な研究訪問等は出張記録にあります。

研究資金

  • 2024年4月 – 2029年3月
    Research on Computable Analysis and Verification of Efficient Exact Real Computation
    科研費 若手研究, 24K20735, 代表
  • 2023年4月 – 2028年3月
    連続な空間上の計算とその複雑さの研究
    科研費 基盤研究（B）, 23K28036, 研究分担者（代表：立木秀樹）
  • 2020年4月 – 2025年3月
    Computational complexity and practice of verified and efficient algorithms for dynamical systems
    科研費 若手研究, 20K19744, 代表
  • 2018年4月 – 2020年3月
    常微分方程式の完全精度解法の高速な実装に向けて
    科研費 特別研究員奨励費, 18J10407, 代表