Members


G0: Metamathematical Integration

Tokyo Site
  • Shin-ya Katsumata. Group Leader; Project Associate Professor (NII)
  • David Sprunger. Researcher; Project Researcher (NII)
  • Natsuki Urabe. Research Assistant; PhD Student (U Tokyo) & JSPS Research Fellow DC
  • Soichiro Fujii. Research Assistant; PhD Student (U Tokyo)
  • Hiroki Kobayashi. Research Assistant; MSc Student (U Tokyo)
Kyoto Site External

G1: Heterogeneous Formal Methods

Tokyo Site
  • Ichiro Hasuo. Group Leader; Associate Professor (NII)
  • Sasinee Pruekprasert. Researcher; Project Researcher (NII)
  • Gidon Ernst. Researcher; Project Researcher (NII)
  • Akira Yoshimizu. Technical Assistant; Technical Assistant (NII)
  • Takamasa Okudono. Research Assistant; MSc Student (U Tokyo)
  • Yuichiro Oyabu. Research Assistant; MSc Student (SOKENDAI)
  • Masaki Hara. Research Assistant; MSc Student (U Tokyo)
  • Zhenya Zhang. Research Assistant; PhD student (SOKENDAI)
  • Sang-Hwa Lee. Technical Assistant; Technical Assistant (NII)
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

  • Yumie Kashiwakura. Administrative Staff (NII)
  • Noriko Kitakawa. Administrative Staff (NII)
  • Sumiko Sugita. Administrative Staff (NII)
  • Kimiko Ohno. Administrative Staff (NII)
  • Kumiko Takikawa. JST Staff for the Project; Japan Science and Technology Agency
  • Shin-ichi Kato. JST Staff for the Project; Japan Science and Technology Agency

Past Members

  • Eugenia Sironi. Research Assistant; Research Assistant (NII)
  • Noemie Fong. Visitor (2017.5-2017.8); MSc Student (ENS Paris)
  • Chou Yi. Visitor (2017.5-2017.8); PhD Student (U Colorado Boulder)
  • Taichi Uemura. Research Assistant; PhD Student (Kyoto U)