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)
  • Kenta Cho. Technical Support; Technical Support (NII)
  • Soichiro Fujii. Research Assistant; PhD Student (U Tokyo)
  • Natsuki Urabe. Research Assistant; PhD Student (U Tokyo) & JSPS Research Fellow DC
  • Thorsten Wissman. Internship Student; PhD Student (FAU Erlangen)
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
  • Fuyuki Ishikawa. Group Leader; Associate Professor (NII)
  • Paolo Arcaini. Researcher; Project Assistant Professor (NII)
  • Zhenya Zhang. Research Assistant; PhD Student (SOKENDAI)
  • Masaki Waga. Research Assistant; PhD Student (SOKENDAI) & JSPS Research Fellow DC
  • Anna Lukina. Internship Student; PhD Student (TU Vienna)
  • Riccardo Melioli. Internship Student; PhD Student (U Milan)
External

Project Headquarters


Former Members