AIサービスに説明可能な品質保証を与える
セーフガードプラットフォーム「Proven Operation」
株式会社イミロン
最高科学責任者 (CSO: Chief Sceientific Officer) 蓮尾 一郎 氏
国立情報学研究所 アーキテクチャ科学研究系教授、数理的高信頼ソフトウェアシステム研究センター長、学術博士(Radboud University Nijmegen, 2008)。京都大学数理解析研究所助教、東京大学大学院情報理工学系研究科講師・准教授、国立情報学研究所准教授を経て現職。数理論理学や形式手法を中心とする理論計算機科学の分野において、200編以上の学術論文を執筆。大型研究プロジェクト(JST ERATO)の代表等を務め、アカデミアと産業界を繋ぐ先進研究を牽引。2024年に文部科学大臣表彰科学技術賞を受賞。AIシステムの数理的安全性保証を目指し株式会社イミロンを共同創業、CSOとして最先端の理論を社会実装へ導く。