合作項目
國家基金委國際合作項目
朱惠彪：信息物理融合系統的基礎研究 （中-丹），2013年獲延續資助
朱惠彪：信息物理融合系統的基礎研究 （中-丹），2013年獲延續資助
陳豪：代數幾何在編碼理論與密碼學中的應用 （中-丹）
劉靜：模型驅動式UML/MARTE模型形式驗證方法（中-法）
蒲戈光：國家留學基金委中德合作科研項目（中-德）
劉靜：模型驅動式UML/MARTE模型形式驗證方法（中-法）
蒲戈光：國家留學基金委中德合作科研項目（中-德）
張雷：金磚國家時空數據高可信關鍵技術及應用研究（中-俄-?。?/span>
法國INRIA聯合團隊項目
同步/異構分布式系統的研究（2012-2014）
信息物理融合系統的形式化模型與工具（2015-2017）
同步/異構分布式系統的研究（2012-2014）
信息物理融合系統的形式化模型與工具（2015-2017）
中法JoRISS合作項目 （2015-2016）
大規模分布式系統靜默錯誤的發現及處理研究（華師大-里昂高師）
閑置資源共享的在線服務系統 （華師大-里昂高師）
