G1: Heterogeneous Formal Methods

Tokyo Site

Ichiro Hasuo. Group Leader; Associate Professor (NII)

Masako Kishida. Group Sub-Leader; Associate Professor (NII)

Etienne Andre.  Visiting Researcher; Associate Professor (Université de Paris 13/JFLI, CNRS-NII)

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

Akihisa Yamada. Researcher; Project Assistant Professor (NII)

Ahmet Cetinkaya. Researcher; Project Assistant Professor (NII)

Sasinee Pruekprasert. Researcher; Project Researcher (NII)

Toru Takisaka. Researcher; Project Researcher (NII)

Chao Huang.  Researcher; Project Researcher (NII)

Takamasa Okudono. Research Assistant; PhD Student (SOKENDAI/NII)

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

Liye Guo. Research Assistant; PhD Student (SOKENDAI/NII)

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

Kittiphon Phalakarn.  Internship Student; MSc Student (Chulalongkorn University)

Carsten  Gerstacker.  Internship Student; MSc Student (Saarland University)

Elena Gutiérrez.  Internship Student; PhD student (IMDEA Software Institute )

Osaka Site

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

Kazumune Hashimoto. Researcher; Project Researcher (Osaka U)

Ami Sakakibara. Research Assistant; PhD Student (Osaka U) & JSPS Research Fellow DC

Akinori Sakaguchi. Research Assistant; PhD Student (Osaka U) & JSPS Research Fellow DC

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)

Kyoto Site

Kohei Suenaga. Co-investigator; Associate Professor (Kyoto U)

Kyushu Site

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

External

Shinpei Kato. Collaborator; Associate Professor (U Tokyo)

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