Members

Ichiro Hasuo. Research Director; Professor (NII)

Koko Muroya. Group 0 Leader; Project Researcher (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)

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

Kenichi Oyama. JST Staff for the Project; Japan Science and Technology Agency

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)

Former Members