Members


G0: Metamathematical Integration

Tokyo Site Kyoto Site External

G1: Heterogeneous Formal Methods

Tokyo Site Osaka Site External

G2: Formal Methods in Industry

Waterloo Site

G3: Formal Methods and Intelligence

Tokyo Site
  • Fuyuki Ishikawa. Group Leader; Associate Professor (NII)
  • Sean Sedwards. Researcher; Project Researcher (NII)
  • Kengo Kido. Research Assistant; PhD Student (U Tokyo) & JSPS Research Fellow DC
  • Masaki Waga. Research Assistant; MSc Student (U Tokyo)
External

Project Headquarters