情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．

国立情報学研究所，総合研究大学院大学，株式会社イミロン，他

https://group-mmm.org/~ichiro/