Tokyo Site
Close collaboration with
- JST START (Commercialization Support) “Real-World Deployment of Automated Driving via Logical Explanation of Quality of Software” Project (Leader: Ichiro Hasuo)
- JST MIRAI eAI Project (Leader: Fuyuki Ishikawa)
- JST CREST CyPhAI Project (Leader: Kohei Suenaga)
- JST CREST ZT-IoT Project (Leader: Atsuko Takefusa).

Ichiro Hasuo. Group Leader; Professor (NII)

Fuyuki Ishikawa. Co-Investigator; Associate Professor (NII)

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

Kohei Suenaga. Co-Investigator; Associate Professor (Kyoto U), Project Associate Professor (NII)

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

Jie An. Researcher; Project Researcher (NII)

Lélio Brun. Researcher (CREST ZT-IoT Project); Project Researcher (NII)

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

Misato Nakabayashi. PhD Student (SOKENDAI/NII)

Sota Sato. Research Assistant; PhD Student (SOKENDAI/NII)

Hiroya Fujinami. Research Assistant; PhD Student (SOKENDAI/NII)

Amalia Sorondo. Internship Student; MSc Student (University of Buenos Aires)
External Collaborators

Krzysztof Czarnecki. Collaborator; Professor (U Waterloo)

Toshimitsu Ushio. Collaborator; Professor (Osaka U)

Hayato Waki. Collaborator; Associate Professor (Kyusyu U)

Hiroshi Unno. Collaborator; Associate Professor (Tsukuba U)

Yusuke Kawamoto. Collaborator; Senior Research Scientist (AIST)

Akihisa Yamada. Collaborator; Senior Research Scientist (AIST)

Jérémy Dubut. Collaborator; Research Scientist (AIST)
Kyushu Site

Shinpei Kato. Advisor; Associate Professor (U Tokyo)

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