メンバー

蓮尾 一郎. 研究総括; 教授 (国立情報学研究所)

勝股 審也. 研究総括補佐; 特任教授 (国立情報学研究所)

小西 正晃. 研究推進主任; 特任研究員(国立情報学研究所)

岡田 満哉.知的財産プロデューサー; 客員教授(国立情報学研究所)

プロジェクト・ヘッドクオーター

北川 則子. 研究推進員; 特任専門員 (国立情報学研究所)

草間 一江. 研究推進員; 特任専門員 (国立情報学研究所)

大野 季実子. 研究推進員; 事務補佐員 (国立情報学研究所)

瀧川 久美子. プロジェクトスタッフ; 科学技術振興機構

幡野 尚宏. プロジェクトスタッフ; 科学技術振興機構

小山 健一. プロジェクトスタッフ; 科学技術振興機構

川畑 みなみ. プロジェクトスタッフ; 科学技術振興機構

グループ0:メタ理論的統合グループ

グループ4: 高信頼ソフトウェアシステムグループ

グループ1:ヘテロジニアス形式手法グループ

(2022年3月に終了,グループ4に統合)

グループ2: 産業応用グループ

(2022年3月に終了,グループ4に統合)

グループ3: インテリジェンス協働形式手法グループ

(2022年3月に終了,グループ4に統合)

以前のメンバー