G0: Metamathematical Integration

Tokyo Site

Shin-ya Katsumata. Group Leader; Project Associate Professor (NII)

Jérémy Dubut. Researcher; Project Assistant Professor (NII)

Clovis Eberhart. Researcher; Project Researcher (NII)

Satoshi Kura. Research Assistant; PhD Student (SOKENDAI/NII)

Yuichi Komorida. Research Assistant; PhD Student (SOKENDAI/NII)

Kazuki Watanabe. Research Assistant; PhD Student (SOKENDAI/NII)

Mayuko Kori. Research Assistant; PhD Student (SOKENDAI/NII)

Riccardo Treglia. Internship student; PhD Student (Univ. Turin)

Quentin Aristote. Internship student; Master Student (École Normale Supérieure de Paris)

Kyoto Site

Masahito Hasegawa. Co-investigator; Professor (RIMS, Kyoto U)

Naohiko Hoshino. Co-investigator; Assistant Professor (RIMS, Kyoto U)

Koko Muroya. Co-investigator; Assistant Professor (RIMS, Kyoto U)

Soichiro Fujii. Researcher; Project Researcher (RIMS, Kyoto U)

Hisashi Aratake. Research Assistant; PhD Student (Kyoto U) & JSPS Research Fellow DC

Youji Fukihara. Research Assistant; PhD Student (Kyoto U)

Takuma Imamura. Research Assistant; PhD Student (Kyoto U)

Kiraku Minami. Research Assistant; MSc Student (Kyoto U)

Haruka Tomita. Research Assistant; MSc Student (Kyoto U)

Takahiro Sanada. Research Assistant; MSc Student (Kyoto U)

External

Bart Jacobs. Collaborator; Professor (Radboud U)

Takahiro Homma. Advisor; Professor (U. Electro-Communications)