G0: Metamathematical Integration

Tokyo Site

Koko Muroya. Group 0 Leader; Project Researcher (NII)

Yoàv Montacute. Researcher; Project Researcher (NII)

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

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

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

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

Yun Chen Tsai. Research Assistant; PhD Student (SOKENDAI/NII)

Lucas Shigeru Stinchcombe. Internship Student; MSc Student (Simon Fraser University)

External Collaborators

Shin-ya Katsumata. Collaborator; Professor (Kyoto Sangyo University)

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)