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)

Clovis Eberhart. Researcher; Project Researcher (NII)

Natsuki Urabe. Researcher; Project Researcher (NII)

Kenta Cho. Technical Support; Technical Support (NII)

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

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

Alejandro Aguirre. Visiting Researcher; PhD Student (Universidad Politécnica de Madrid/Imdea Software Institute)

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)

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)

External

Bart Jacobs. Collaborator; Professor (Radboud U)

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