研究内容
ソフトウェア工学・理論計算機科学・数学基礎論の3分野で研究を行っています。
ソフトウェア工学
AIや数学でソフトウェアの安全を保証する
AIや数学・論理学を活用し、ソフトウェアが正しく動くことを 自動的に保証する研究を行っています。特にCPSやソフトウェアサプライチェーンの 安全性・セキュリティに取り組んでいます。
理論計算機科学
ソフトウェア検証の論理的基礎を研究する
ソフトウェアの正しさを記述・検証するための論理体系の研究を行っています。 特に、不確定な動作をともなうシステムに対して時相論理がどのように 適用できるかを理論的に明らかにすることに取り組んでいます。
数学基礎論
計算量理論に論理の立場からアプローチする
「どれだけ効率よく計算できるか」という計算量理論の未解決問題に、 論理体系「限定算術」の立場からアプローチしています。 証明の複雑さと計算の効率との関係を明らかにすることを目指しています。