Shin-ya Katsumata. Project Coordinator; Project Professor (NII)
Paolo Arcaini. Group Leader; Project Associate Professor (NII)
Naohiko Hoshino. Co-investigator; Assistant Professor (RIMS, Kyoto U)
Etienne Andre. Visiting Researcher; Professor ( Université de Lorraine)
Ahmet Cetinkaya. Researcher; Project Associate Professor (NII)
Akihisa Yamada. Researcher; Project Assistant Professor (NII)
Xiaoyi Zhang. Researcher; Project Assistant Professor (NII)
Jérémy Dubut. Researcher; Project Assistant Professor (NII)
Sasinee Pruekprasert. Researcher; Project Assistant Professor (NII)
Jie An. Researcher; Project Assistant Professor (NII)
Clovis Eberhart. Researcher; Project Assistant Professor (NII)
Stefan Klikovits. Researcher; Project Researcher (NII)
Gidon Ernst. Researcher; Project Researcher (NII)
Akira Yoshimizu. Researcher; Project Researcher (NII)
Kenta Cho. Researcher; Project Researcher (NII)
Chao Huang. Researcher; Project Researcher (NII)
David Sprunger. Researcher; Project Researcher (NII)
Cédric HO THANH. Researcher; Project Researcher (NII)
Toru Takisaka. Researcher; Project Researcher (NII)
Adrianto Ravi Ibrahim. Researcher; Project Researcher (NII)
Natsuki Urabe. Researcher; Project Researcher (NII)
Kenji Taguchi. Researcher; Project Researcher (NII)
Tsutomu Kobayashi. Researcher; Project Researcher (NII)
Satoshi Kura. Researcher; Project Researcher (NII), JSPS Overseas Research Fellow
James Haydon. Scientific Programmer; Research Project Technical Specialist (NII)
Agnishom Chattopadhyay . Scientific Programmer; Research Project Technical Specialist (NII)
Benjamin Bray. Scientific Programmer; Research Project Technical Specialist (NII)
Ezequiel Castellano. Technician; Project Technical Specialist (NII)
Kazumune Hashimoto. Researcher; Project Assistant Professor (Osaka U)
Soichiro Fujii. Researcher; Project Researcher (RIMS, Kyoto U)
Sean Sedwards. Researcher; Assistant Professor (U Waterloo)
Rick Salay. Researcher; Research Associate (U Waterloo)
Jaeyoung Lee. Researcher; Postdoctoral Fellow (U Waterloo)
Vahdat Abdelzad. Researcher; Postdoctoral Fellow (U Waterloo)
Shaukat Ali. Visiting Researcher; Senior Research Scientist (Simula)
Kengo Kido. Research Assistant; PhD Student (U Tokyo) & JSPS Research Fellow DC
Hiroki Kobayashi. Research Assistant; MSc Student (U Tokyo)
Masaki Hara. Research Assistant; MSc Student (U Tokyo)
Yuichiro Oyabu. Research Assistant; MSc Student (SOKENDAI)
Liye Guo. Research Assistant; PhD Student (SOKENDAI/NII)
Zhenya Zhang. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC
Masaki Waga. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC
Takamasa Okudono. Research Assistant; PhD Student (SOKENDAI/NII)
Yuichi Komorida. Research Assistant; PhD Student (SOKENDAI/NII) & JSPS Research Fellow DC
Sang-Hwa Lee. Research Assistant; PhD Student (SOKENDAI/NII)
Takuma Kanemitsu. PhD Student (SOKENDAI/NII)
Ami Sakakibara. Research Assistant; PhD Student (Osaka U) & JSPS Research Fellow DC
Akinori Sakaguchi. Research Assistant; PhD Student (Osaka U) & JSPS Research Fellow DC
Rodrigo Queiroz. Research Assistant; PhD student (U Waterloo)
Shiyao Ding. Research Assistant; MSc Student (Osaka U)
Ikumi Ichikawa. Research Assistant; MSc Student (Osaka U)
Hiroki Hayakawa. Research Assistant; MSc Student (Osaka U)
Junya Ikemoto. Research Assistant; MSc Student (Osaka U)
Nayuta Yanagisawa. Research Assistant; PhD Student (Kyoto U)
Taichi Uemura. Research Assistant; PhD Student (Kyoto U)
Yusuke Ishibashi. Research Assistant; MSc Student (Kyoto U)
Hisashi Aratake. Research Assistant; PhD Student (Kyoto U) & JSPS Research Fellow DC
Youji Fukihara. Researcher (RIMS, Kyoto U)
Takuma Imamura. Researcher (RIMS, Kyoto U)
Kiraku Minami. Research Assistant; PhD Student (Kyoto U)
Haruka Tomita. Research Assistant; PhD Student (Kyoto U)
Nakata Satoshi. Research Assistant; PhD Student (Kyoto U)
Miyamoto Daisuke. Research Assistant; PhD Student (Kyoto U)
Takahiro Sanada. Research Assistant; PhD Student (Kyoto U)
Ryota Kojima. Research Assistant; PhD Student (Kyoto U)
Kenichi Fukuda. Research Assistant; MSc Student (Osaka U)
Naoyuki Masuda. Research Assistant; MSc Student (Osaka U)
Chou Yi. Internship Student; PhD Student (U Colorado Boulder)
Noemie Fong. Internship Student; MSc Student (ENS)
Thorsten Wissmann. Visiting Researcher; PhD Student (FAU Erlangen)
Anna Lukina. Internship Student; PhD Student (TU Vienna)
Yoann Barszezak. Internship Student; PhD Student (ENS Paris Saclay)
Riccardo Melioli. Internship Student; PhD Student (U Milan)
Nick Hu. Internship Student; MSc Student (U Oxford)
Juraj Kolcak. Visiting Researcher; PhD Student (LSV, CNRS & ENS de Cachan)
Nian-Ze Lee. Internship Student; PhD Student (National Taiwan University)
Marco Radavelli. Visiting Researcher; PhD Student (University of Bergamo)
Alexis Soifer. Internship Student; PhD Student (Buenos Aires University)
Elayne Ruane. Internship Student; PhD Student (University College Dublin)
Yun Qian. Research Assistant; MSc Student (Osaka U)
Yuma Yamakura. Research Assistant; MSc Student (Osaka U)
Dongwu Xu. Research Assistant; MSc Student (Osaka U)
Samuel Humeau. Internship Student; MSc Student (École normale supérieure de Lyon)
Mathias Ramparison. JSPS Postdoctral Fellowships for Research in Japan; PhD Student (Laboratoire d’Informatique de Paris Nord)
Alejandro Aguirre. Visiting Researcher; PhD Student (Universidad Politécnica de Madrid/Imdea Software Institute)
Thomas Haas. Internship Student; MSc Student (TU Braunschweig)
Kittiphon Phalakarn. Internship Student; MSc Student (Chulalongkorn University)
Carsten Gerstacker. Internship Student; MSc Student (Saarland University)
Quentin Aristote. Internship student; PhD Student (École Normale Supérieure de Paris)
Ivan Arcuschin Moreno. Internship Student; MSc Student (Buenos Aires University)
Thomas Laurent. Internship Student; PhD Student (University College Dublin)
Clément Bertrand. Internship Student; PhD student (University Paris-Saclay)
Alessandro Calò . Internship Student; MSc Student (Technische Universität München)
Elena Gutiérrez. Internship Student; PhD student (IMDEA Software Institute )
Sebastien Le Cong. Internship Student; PhD student (IRISA, Renne)
David Sprunger. Researcher; Project Researcher (NII)
Henri Trenquier. Internship Student; PhD Student (INP Toulouse-ENSEEIHT)
Miroslav Stankovic . Internship Student; PhD Student (TU Vienna)
Kun Liu. Internship Student; PhD Student ( Peking University)
Riccardo Treglia. Internship student; PhD Student (Univ. Turin)
Johan Ribom. Internship student; Master student (KTH Royal Institute of Technology)
Leandro Gomes. Internship student; PhD Student
(INESC Technology and Science, Porto)
Andrea Peruffo. Internship student; PhD Student (Oxford)
Ivar Bengtsson. Internship student; Master Student (KTH Royal Institute of Technology)
Shujun Liu. Internship student; Master Student (Indiana U)
Augstin Eloy Martinez Sune. Internship student; PhD Student;
University of Buenos Aires (UBA), Argentina
Jesse Reimann. Internship student; MSc student (TU Delft)
Jules Viennot. Internship student; MSc student (Ecole Polytechnique)
Killian Barbe. Internship student; MSc student (ENS Lyon)
Amalia Sorondo. Internship Student; MSc Student (University of Buenos Aires)
Nico Mansion. Internship Student; MSc Student (Saarland University)
Anton Varonka. Internship Student; PhD Student (TU Vienna)
Solal Stern. Internship Student; MSc Student (ENS Lyon)
Yoàv Montacute. Internship Student; PhD Student (University of Cambridge)
Serge Lechenne. Internship Student; MSc Student (ENS Paris-Saclay)
Paula Blechschmidt. Internship Student; MSc Student (TU Berlin)
Ignacio David Lopez Miguel. Internship Student; PhD Student (TU Vienna)
Emilie Thome. Internship Student; PhD Student (LIP6)
Aaron van Geffen. Collaborator
Masami Hagiya. Advisor; Professor (U Tokyo)
Naoki Kobayashi. Advisor; Professor (U Tokyo)
Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)
Hisashi Miyashita. Advisor
Akiko Irie. Administrative Staff (NII)
Harumi Takeda. Administrative Staff (NII)
Tomoko Uchida. Administrative Staff (NII)
Sumiko Sugita. Administrative Staff (NII)
Kimiko Ohno. Administrative Staff (NII)
Yumie Kashiwakura. Administrative Staff (NII)
Mamiko Yano. Administrative Staff (NII)
Yuko Wakabayashi. Administrative Staff (NII)
Shin-ichi Kato. JST Staff for the Project; Japan Science and Technology Agency
Masanori Emori. JST Staff for the Project; Japan Science and Technology Agency