- 2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
- 2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
- 2020 - 2025 Program Verification Techniques for the AI Era
- 2019 - 2022 Automated Theorem Proving with Machine Learning for Automating Mathematics
- 2019 - 2022 Categorical Semantics and Logical Interpretation of the Pi-Calculus
- 2016 - 2019 Game semantics and intersection type systems for program verification
- 2010 - 2012 高階再帰スキームのモデル検査とそのプログラム検証への応用
Show all