Members

Ichiro Hasuo. Research Director; Associate Professor (NII)

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

Masaaki Konishi. Research Manager; Project Researcher (NII)

Mitsuya Okada. IP Specialist; Visiting Professor (NII)

Project Headquarters

Noriko Kitakawa. Administrative Staff (NII)

Kazue Kusama. Administrative Staff (NII)

Yuko Wakabayashi. Administrative Staff (NII)

Mamiko Yano. Administrative Staff (NII)

Kumiko Takikawa. JST Staff for the Project; Japan Science and Technology Agency

Naohiro Hatano. JST Staff for the Project; Japan Science and Technology Agency

Group 0: Metamathematical Integration

Group 1: Heterogeneous Formal Methods

Group 2: Formal Methods in Industry

Group 3: Formal Methods and Intelligence

Former Members