MEMBERS

Ichiro Hasuo. Research Director; Associate Professor (NII)

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

Masaaki Konishi. Research Manager; Project Researcher (NII)


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 Eberhert. Researcher; Project Researcher (NII)

Kenta Cho. Technical Support; Technical Support (NII)

Soichiro Fujii. Research Assistant; PhD Student (U Tokyo)

Natsuki Urabe. Research Assistant; PhD Student (U Tokyo) & JSPS Research Fellow DC

Yuichi Komorida. Research Assistant; MSc Student (SOKENDAI)

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)


G1: Heterogeneous Formal Methods

Tokyo Site

Ichiro Hasuo. Group Leader; Associate Professor (NII)

Masako Kishida. Co-Investigator; Associate Professor (NII)

Taro Sekiyama. Co-Investigator; Assistant Professor (NII)

Akihisa Yamada. Researcher; Project Assistant Professor (NII)

Sasinee Pruekprasert. Researcher; Project Researcher (NII)

Toru Takisaka. Researcher; Project Researcher (NII)

Etienne Andre:  Long-term visitor; Associate Professor (Université de Paris 13/JFLI, CNRS-NII)

Chao Huang.  Technical Support; Technical Support (NII)

Takamasa Okudono. Research Assistant; PhD Student (SOKENDAI)

Yuichiro Oyabu. Research Assistant; MSc Student (SOKENDAI)

Sang-Hwa Lee. Research Assistant; PhD (SOKENDAI)

Osaka Site

Toshimitsu Ushio. Co-investigator; Professor (Osaka U)

Ami Sakakibara. Research Assistant; PhD Student (Osaka U)

Akinori Sakaguchi. Research Assistant; PhD Student (Osaka U)

Yun Qian. Research Assistant; MSc Student (Osaka U)

Yuma Yamakura. Research Assistant; MSc Student (Osaka U)

Dongwu Xu. Research Assistant; MSc Student (Osaka U)

Shiyao Ding. Research Assistant; MSc Student (Osaka U)

Ikumi Ichikawa. Research Assistant; MSc Student (Osaka U)

Hiroki Hayakawa. Research Assistant; MSc Student (Osaka U)

Kyusyu Site

Hayato Waki. Co-investigator; Associate Professor (Kyusyu U)

External

Shinpei Kato. Collaborator; Associate Professor (U Tokyo)

Kohei Suenaga. Collaborator; Associate Professor (Kyoto U)

Jun-ichi Imura. Advisor; Professor (Tokyo Tech)


G2: Formal Methods in Industry

Waterloo Site

Krzysztof Czarnecki. Group Leader; Professor (U Waterloo)

Sean Sedwards. Researcher; Assistant Professor (U Waterloo)

Jaeyoung Lee. Researcher; Assistant Professor (U Waterloo)

Hisashi Miyashita. Advisor


G3: Formal Methods and Intelligence

Tokyo Site

Fuyuki Ishikawa. Group Leader; Associate Professor (NII)

Paolo Arcaini. Researcher; Project Assistant Professor (NII)

Zhenya Zhang. Research Assistant; PhD Student (SOKENDAI)

Masaki Waga. Research Assistant; PhD Student (SOKENDAI) & JSPS Research Fellow DC

Nian-Ze Lee. Internship Student; PhD Student (National Taiwan University)

External

Masami Hagiya. Advisor; Professor (U Tokyo)

Naoki Kobayashi. Advisor; Professor (U Tokyo)

Daisuke Sakamoto. Advisor; Associate Professor (Hokkaido U)


Project Headquarters

Yumie Kashiwakura. Administrative Staff (NII)

Noriko Kitakawa. Administrative Staff (NII)

Kazue Kusama. Administrative Staff (NII)

Kimiko Otani. Administrative Staff (NII)

Kumiko Takikawa. JST Staff for the Project; Japan Science and Technology Agency

Naohiro Hatano. JST Staff for the Project; Japan Science and Technology Agency


Former Members

Akira Yoshimizu. Researcher; Project Researcher (NII)

Gidon Ernst. Researcher; Project Researcher (NII)

Shaukat Ali. Long-term Visitor; 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)

Nayuta Yanagisawa. Research Assistant; PhD Student (Kyoto U)

Taichi Uemura. Research Assistant; PhD Student (Kyoto U)

Yusuke Ishibashi. Research Assistant; MSc 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. Internship Student; 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)

Thomas Haas. Internship Student; MSc Student (TU Braunschweig)

Nick Hu. Internship Student; MSc Student (U Oxford)

Akiko Irie. Administrative Staff (NII)

Harumi Takeda. Administrative Staff (NII)

Tomoko Uchida. Administrative Staff (NII)

Sumiko Sugita. Administrative Staff (NII)

Shin-ichi Kato. JST Staff for the Project; Japan Science and Technology Agency

Masanori Emorix. JST Staff for the Project; Japan Science and Technology Agency