CV
Employment
- 10/2025 – present Associate Professor
- 04/2021 – 09/2025 Program-Specific LecturerKyoto University, Graduate School of Human and Environmental Science
- 05/2019 – 04/2021 Assistant Professor
- 09/2018 – 05/2019 JSPS Research Fellow (PD)Kyushu University
- 04/2018 – 08/2018 JSPS Research Fellow (DC2)University of Tokyo
- 04/2015 – 08/2015 Researcher (part-time)Darmstadt University of Technology
Education
- 09/2015 – 08/2018 Ph.D., Computing Systems Research GroupUniversity of Tokyo, Graduate School of Arts and Sciences
- 04/2013 – 03/2015 M.Sc., Mathematics with Computer ScienceDarmstadt University of Technology
- 10/2009 – 03/2013 B.Sc., MathematicsDarmstadt University of Technology
- 10/2008 – 10/2011 B.Sc., Computer ScienceDarmstadt University of Technology
Long-term research stays
- 10/2013 – 03/2014 Exchange Research StudentUniversity of Tokyo, Graduate School of Information Science and Technology
- 08/2011 – 06/2012 Exchange StudentUniversity of Oslo, Department of Mathematics
Shorter visits are listed on the travel page.
Research grants
- 04/2024 – 03/2029 Research on Computable Analysis and Verification of Efficient Exact Real ComputationKAKENHI Grant-in-Aid for Early-Career Scientists, 24K20735, Principal Investigator
- 04/2023 – 03/2028 連続な空間上の計算とその複雑さの研究KAKENHI Grant-in-Aid for Scientific Research (B), 23K28036, Co-Investigator (PI: Hideki Tsuiki)
- 04/2020 – 03/2025 Computational complexity and practice of verified and efficient algorithms for dynamical systemsKAKENHI Grant-in-Aid for Early-Career Scientists, 20K19744, Principal Investigator
- 04/2018 – 03/2020 Towards efficient solvers for ordinary differential equations in exact real arithmeticKAKENHI Grant-in-Aid for JSPS Fellows, 18J10407, Principal Investigator