For the complete member list, please see the external site.

Research Director

Ichiro Hasuo. Research Director; Associate Professor (NII)

G0: Metamathematical Integration

Shin-ya Katsumata. Group Leader; Project Coordinator; Project Associate Professor (NII)

G1: Heterogeneous Formal Methods

Ichiro Hasuo. Group Leader; Associate Professor (NII)

G2: Formal Methods in Industry

Krzysztof Czarnecki. Group Leader; Professor (U Waterloo)

G3: Formal Methods and Intelligence

Paolo Arcaini. Group Leader; Project Associate Professor (NII)

NII webpageJST webpage

Osaka-u webpageKyoto-u webpageKyusyu-u webpageWaterloo-u webpage