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)

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)

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

Sebastien Le Cong.  Internship Student; PhD student (IRISA, Renne)

Clément Bertrand. Internship Student; PhD student (University Paris-Saclay)

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

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)

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)