Members

Ichiro Hasuo. Research Director; Associate Professor (NII)

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

Masaaki Konishi. Research Manager; Project Researcher (NII)

Project Headquarters

Yumie Kashiwakura. Administrative Staff (NII)

Noriko Kitakawa. Administrative Staff (NII)

Kazue Kusama. Administrative Staff (NII)

Kimiko Ohno. 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