以上のプロジェクトとも協働して研究を進めています．
- JST START プロジェクト推進型 起業実証支援「ソフトウェア品質の論理的説明技術による，自動運転の本格普及の実現」プロジェクト（Leader: 蓮尾 一郎）
- JST 未来社会創造事業 eAI プロジェクト（Leader: 石川 冬樹）
- JST CREST CyPhAI プロジェクト（Leader: 末永 幸平）
- JST CREST ZT-IoT プロジェクト（Leader: 竹房 あつ子）
東京サイト（国立情報学研究所）
蓮尾 一郎. グループリーダー; 教授 (国立情報学研究所)
石川 冬樹. 共同研究者; 准教授 (国立情報学研究所)
岸田 昌子. 共同研究者; 准教授 (国立情報学研究所)
末永 幸平. 共同研究者; 准教授 (京都大学) ，客員准教授 (国立情報学研究所)
関山 太朗. 共同研究者; 准教授 (国立情報学研究所)
Jie An. 研究員; 特任助教 (国立情報学研究所)
Lélio Brun. 研究員 (CREST ZT-IoT Project); 特任研究員 (国立情報学研究所)
Kittiphon Phalakarn. 研究員; 特任研究員 (国立情報学研究所)
諏訪 敬之．サイエンティフィック・プログラマー； 特任技術専門員 (国立情報学研究所)
Sang-Hwa Lee. リサーチアシスタント; 博士課程 (５年一貫制後期，総合研究大学院大学・国立情報学研究所)
中林 美郷. 博士課程 (５年一貫制後期，総合研究大学院大学・国立情報学研究所)
佐藤 創太. リサーチアシスタント; 博士課程 (５年一貫制前期，総合研究大学院大学・国立情報学研究所)
藤浪 大弥. リサーチアシスタント; 博士課程 (５年一貫制前期，総合研究大学院大学・国立情報学研究所)
外部研究協力者
Krzysztof Czarnecki. 研究協力者; 教授 (U Waterloo)
潮 俊光. 研究協力者; 教授 (南山大学)
脇 隼人. 研究協力者; 准教授 (九州大学)
海野 広志. 研究協力者; 准教授 (筑波大学)
川本 裕輔. 研究協力者; 主任研究員 (産業技術総合研究所)
山田 晃久. 研究協力者; 主任研究員 (産業技術総合研究所)
Jérémy Dubut. 研究協力者; 研究員 (産業技術総合研究所)
Zhenya Zhang. 研究協力者; 助教（九州大学），客員助教 (国立情報学研究所)
Masaki Waga. 研究協力者; 助教（京都大学），客員助教 (国立情報学研究所)
加藤 真平. アドバイザー; 准教授 (東京大学)
井村 順一. アドバイザー; 教授 (東京工業大学)