![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/portrait-3-e1553405501757.jpg)
Ichiro Hasuo. Research Director; Professor (NII)
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/06/masaaki-konishi.jpg)
Masaaki Konishi. Research Manager; Project Researcher (NII)
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Mitsuya Okada. IP Specialist; Visiting Professor (NII)
Project Headquarters
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Noriko Kitakawa. Administrative Staff (NII)
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Kazue Kusama. Administrative Staff (NII)
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Kimiko Ohno. Administrative Staff (NII)
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Kumiko Takikawa. JST Staff for the Project; Japan Science and Technology Agency
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Naohiro Hatano. JST Staff for the Project; Japan Science and Technology Agency
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Kenichi Oyama. JST Staff for the Project; Japan Science and Technology Agency
![](https://group-mmm.org/eratommsd/wp-content/uploads/2019/03/Picture1.png)
Minami Kawabata. JST Staff for the Project; Japan Science and Technology Agency
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)