メンバー

詳細は メンバーリスト(外部サイト) を御覧ください。

研究総括

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

G0: Metamathematical Integration

  • 勝股 審也. グループリーダー, 研究総括補佐, 特任研究員 准教授 (国立情報学研究所)

G1: Heterogeneous Formal Methods

  • 蓮尾 一郎. グループリーダー; 准教授 (国立情報学研究所)

G2: Formal Methods in Industry


G3: Formal Methods and Intelligence

  • 石川 冬樹. グループリーダー; 准教授 (国立情報学研究所)
NII webpageJST webpage