G0: Metamathematical Integration

Tokyo Site

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

Clovis Eberhart. Researcher; Project Assistant Professor (NII)

James Haydon. Research Project Technical Specialist (NII)

Satoshi Kura. Researcher; Project Researcher (NII), JSPS Overseas Research Fellow

Yuichi Komorida. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC

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

Mayuko Kori. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC

Takuma Kanemitsu. PhD Student (SOKENDAI/NII)

External Collaborators

Masahito Hasegawa. Collaborator; Professor (RIMS, Kyoto U)

Koko Muroya. Collaborator; Assistant Professor (RIMS, Kyoto U)

Tetsuya Sato. Collaborator; Assistant Professor (Tokyo Inst. Technology)

Bart Jacobs. Advisor; Professor (Radboud U)

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