研究方向：

大數據智能處理創新

團隊人員：

任向民 江敏 王石 宋振宇 謝丹豔 蔣輝芹 顧冬霞 袁紅娟 于航 李生

團隊在生物大數據、化學大數據、社會科學大數據、工業大數據及數據智能技術等相關領域開展理論與應用研究。基于大數據思想，多學科交叉融合研究，提出有效的數據智能應用方法與技術。旨在培養和聚集人才隊伍，提升創新能力及理念，在科研工作中積累高水平成果，為各學科研究提供技術支撐。

研究方向：

軟件形式化驗證

團隊人員：

雷紅軒 仲崇高 李金海 郦麗 薛燕 劉蕾 李雲 葉葉 

團隊着眼于通過邏輯來驗證程序的可靠性，借助數學的方法來解決軟件工程領域的問題，主要包括建立精确的數學模型以及對模型的分析活動。

車聯網安全與隐私

團隊人員：

帥小應 周愛平 花麗 朱晔 宋天慧 黃興平 張彬

團隊緻力于解決通過車聯網進行信息的交換所帶來的信息安全問題，搜集大量移動節點信息，實現實時處理大量的交通信息。

研究方向：

區域信息化系統研究

團隊人員：

劉立軍 陳琳 孫劍 何瑩 嚴雪梅

團隊以支持區域信息化發展為目的,分析區域信息化的整體格局和市場特征，明确協同設計平台的構建思路。