grants
Leading as a Principal Investigator
-
2025 - 2028 Programming Supports for Incremental and Interactive Updates through Compatibility-Oriented Program Analysis
互換性指向プログラム解析による漸進的・対話的なプログラム更新支援Japan Society For the Promotion of Science (JSPS) - Grant in Aid for Early-Career Scientists (若手研究)
- Project Number 25K21178
-
2023 - 2025 Research on Updating Support Techniques by Introducing Semantic Versioning into Programming Languages
プログラミング言語への意味的バージョンの導入による更新支援技術の研究Japan Society For the Promotion of Science (JSPS) - Grant-in-Aid for Research Activity Start-up (研究活動スタート支援)
- Project Number 23K19961
-
2022 - 2024 Programming Language with Versions
バージョンを言語要素に持つプログラミング言語の開発Japan Society For the Promotion of Science (JSPS) - Grant-in-Aid for JSPS Research Fellows (特別研究員奨励費)
- Project Number 22KJ1313 / 22J14382
- ※ Withdrawn in 2023 due to my transfer to Kyoto University.
Contributing as a Co-investigator
-
2023 - 2028 -
2020 - 2025 Research on software contracts for highly interoperable software modules
高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究Japan Society For the Promotion of Science (JSPS) - Grant in Aid for Scientific Research (A) (基盤研究(A))
- Project Number 20H00582