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

研究総括

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

G0: Metamathematical Integration

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

G1: Heterogeneous Formal Methods

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

G2: Formal Methods in Industry

Krzysztof Czarnecki. グループリーダー; 教授 (U Waterloo)

G3: Formal Methods and Intelligence

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

NII webpageJST webpage

Osaka-u webpageKyoto-u webageKyusyu-u webpageWaterloo-u webpage