Members


G0: Metamathematical Integration

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

G1: Heterogeneous Formal Methods

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