Ichiro Hasuo. Research Director; Professor (NII)
Kumiko Takikawa. Research Manager (NII)
Mitsuya Okada. IP Specialist; Visiting Professor (NII)
MTSS Center Administration
Noriko Kitakawa. Administrative Staff (NII)
Kazue Kusama. Administrative Staff (NII)
Kimiko Ohno. Administrative Staff (NII)
Group 0: Metamathematical Integration
Group 4: Trust in Software and Systems
Group 1: Heterogeneous Formal Methods
(Discontinued in March 2022, merged into Group 4)
Group 2: Formal Methods in Industry
(Discontinued in March 2022, merged into Group 4)
Group 3: Formal Methods and Intelligence
(Discontinued in March 2022, merged into Group 4)