可信軟體國際聯合研究中心旨在聯合國際優質資源，匯聚國際先進人才，可信軟體國際聯合研究中心的成立建設面向國際科技前沿、具有高水平科研開發與合作提供更好的研究平台和更多的發展機遇。充分發揮我院可信軟體理論與套用的研究優勢，緊密協同國際國內合作單位，加強與其他國際合作基地的橫向聯繫，優勢互補，不斷提高國際科技合作水平和學科創新實力。
可信軟體國際聯合研究中心旨在聯合國際優質資源，匯聚國際先進人才，可信軟體國際聯合研究中心的成立建設面向國際科技前沿、具有高水平科研開發與合作提供更好的研究平台和更多的發展機遇。充分發揮我院可信軟體理論與套用的研究優勢，緊...
教育部可信軟體國際合作聯合實驗室於2015年5月獲批籌建，由荷蘭萊登大學(Leiden University)、荷蘭國家數學和計算機科學研究院 (Research in Mathematics and Computer Science)、法國里昂高師並行計算實驗室 (Laboratory of Parallel Computing)、法國國家信息與自動化研究所 (National Institute for Research in Computer ...
學術研究 軟體工程學院現設軟體科學與技術系、嵌入式軟體與智慧型系統系、密碼與網路安全系，擁有國家可信嵌入式軟體工程技術研究中心、可信軟體國際聯合研究中心、軟硬體協同設計技術與套用教育部工程研究中心、教育部可信軟體國際合作聯合實驗室、上海市高可信計算重點實驗室、上海市可信物聯網軟體協同創新中心等一批實驗室...
無線通信與信息處理技術國際聯合研究中心舉辦的信息安全研討會匯集了海內外信息安全領域的著名專家學者，進行學術交流、分享研究成果、探討學術動態及發展趨勢，對於無線網路安全技術的理論研究以及科研成果轉化起到了重要的推動作用。通過國際合作的方式對可信頻譜感知技術進行研究，對提高空閒頻譜資源利用率及緩解當前緊張的...
此外，通過學生交換、師資交流、課程開設和聯合開展國際研究項目等方式，進一步提升各高校在世界計算機科學領域的地位和影響力，通過融匯世界一流研究人員，貫通計算機科學理論和工程能力，在網際網路環境的海量數據處理、軟體基礎理論、可信分散式計算等方向建立領先研究團隊，產生一批具有創新性和套用價值的計算機理論和技術成果...
該成果被國際計算機科學界譽為“面向模型軟體開發的一個里程碑”。③開拓可信嵌入式軟體設計理論與技術，促進了方法與技術在安全攸關行業領域的套用。何積豐創造性地開拓和發展了基於模型的可信軟體開發與驗證研究領域，建立了正確性系統的可證理論與方法，解決了可信嵌入式系統構造與驗證技術的若干關鍵問題，並套用於軌道...
