国际合作单位
核心协同单位：
法国高师集团
荷兰莱顿大学
荷兰国家数学与信息研究院（cwi）
法国irisa实验室
法国里昂lip实验室
其他协同单位：
国际科研项目合作方面
西北工业大学，南京大学
法国inria（ eric madelaine ）
丹麦科技大学 （flemming nielson）
丹麦奥尔堡大学 （kim larsen）
美国uc berkley大学（michael franklin）
产学研协同创新方面
中国电信，中国电子科技集团，上汽集团，航天科技集团
法国orange，法国inria，法国esteral，微软剑桥研究院
国际人才培养方面
法国电信矿业大学
上海纽约大学
巴黎第七大学
法国蔚蓝海岸大学
日本法政大学
澳大利亚悉尼科技大学
国际人员交流方面
英国牛津大学（bill roscoe）
丹麦科技大学（dines bjorner）
微软剑桥研究院（tony hoare）
英国约克大学（jim woodcock）
爱尔兰都柏林圣三一学院（andrew butterfield）
