G0: Metamathematical Integration

Tokyo Site

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

Clovis Eberhart. Researcher; Project Assistant Professor (NII)

James Haydon. Scientific Programmer; Research Project Technical Specialist (NII)

Benjamin Bray. Scientific Programmer; Research Project Technical Specialist (NII)

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

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

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

Serge Lechenne. Internship Student; MSc Student (ENS Paris-Saclay)

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)