合作项目

国家基金委国际合作项目

朱惠彪：信息物理融合系统的基础研究 （中-丹），2013年获延续资助

陈豪：代数几何在编码理论与密码学中的应用 （中-丹）

刘静：模型驱动式UML/MARTE模型形式验证方法（中-法）

蒲戈光：国家留学基金委中德合作科研项目（中-德）

张雷：金砖国家时空数据高可信关键技术及应用研究（中-俄-印）

法国INRIA联合团队项目

同步/异构分布式系统的研究（2012-2014）

信息物理融合系统的形式化模型与工具（2015-2017）

中法JoRISS合作项目 （2015-2016） 

大规模分布式系统静默错误的发现及处理研究（华师大-里昂高师）

闲置资源共享的在线服务系统 （华师大-里昂高师）