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), Visiting Associate Professor (NII)
Taro Sekiyama. Co-Investigator; Associate Professor (NII)
Lélio Brun. Researcher (CREST ZT-IoT Project); Project Researcher (NII)
Kittiphon Phalakarn. Researcher; Project Researcher (NII)
Takashi Suwa. Scientific Programmer; Research Project Technical Specialist (NII)
Misato Nakabayashi. PhD Student (SOKENDAI/NII)
Sota Sato. Research Assistant; PhD Student (SOKENDAI/NII)
Hiroya Fujinami. Research Assistant; PhD Student (SOKENDAI/NII)
External Collaborators
Krzysztof Czarnecki. Collaborator; Professor (U Waterloo)
Toshimitsu Ushio. Collaborator; Professor (Nanzan U)
Hayato Waki. Collaborator; Associate Professor (Kyusyu U)
Hiroshi Unno. Collaborator; Associate Professor (Tsukuba U)
Yusuke Kawamoto. Collaborator; Senior Research Scientist (AIST)
Paolo Arcaini. Collaborator; Project Associate Professor (NII)
Akihisa Yamada. Collaborator; Senior Research Scientist (AIST)
Jérémy Dubut. Collaborator; Research Scientist (AIST)
Zhenya Zhang. Collaborator; Assistant Professor (Kyushu U), Visiting Assistant Professor (NII)
Masaki Waga. Collaborator; Assistant Professor (Kyoto U), Visiting Assistant Professor (NII)
Shinpei Kato. Advisor; Associate Professor (U Tokyo)
Jun-ichi Imura. Advisor; Professor (Tokyo Tech)