Members


G0: Metamathematical Integration

Tokyo Site Kyoto Site External

G1: Heterogeneous Formal Methods

Tokyo Site Osaka Site Kyusyu Site
  • Hayato Waki. Co-investigator; Associate Professor (Kyusyu U)
External

G2: Formal Methods in Industry

Waterloo Site

G3: Formal Methods and Intelligence

Tokyo Site External

Project Headquarters


Former Members