基本情報

所属
国立研究開発法人産業技術総合研究所 主任研究員
学位
博士(数理科学)(東京大学)

J-GLOBAL ID
201601013913312218

外部リンク

ソフトウェアの正当性を保証する研究を行ってきました。特に、ソフトウェアの全状態を探索し、論理式により与えられた仕様が満たされることを検証するモデル検査や、ソフトウェアの実行ログを見ることで、その実行で仕様からの逸脱がないことを検証する手法について、研究や応用を行ってきました。

最近では機械学習を応用し、システムの実行ログから異常を検出する研究や深層強化学習を応用してシステムが仕様を満たさない実行パスを発見する研究を行っています。

また、P≠NPなどの計算量クラスの問題は論理学の問題と密接な関連があることが知られており、この観点から数理論理学の研究を行っています。

最近ではこれらの研究に加え、言語哲学の研究も行っています。

学歴

  3

論文

  19

産業財産権

  2