中科大－耶魯高可信軟件聯合研究中心的師生積極開展學術交流活動，在操作係統驗證、並行程序驗證和出具證明編譯器等方麵的研究水平不斷提高，在國內外的影響逐步擴大。
近年來到中心來進行學術交流的國內外學者有軟件所周巢塵院士和張健研究員、北京大學裘宗燕教授、Rice大學的Walid Taha教授、波士頓大學的Hongwei Xi教授、法國國家信息與自動化研究所（INRIA）的Yves Bertot研究員和Jean-Pierre Jouannaud教授等多人、聯合國大學軟件技術研究所的劉誌明教授等。
耶魯大學畢業的博士、芝加哥豐田技術研究所的助理研究教授馮新宇博士在2009年5月訪問中心後，決定接受科大的聘用，將於今年夏天正式到中心工作。
中心除了參加由科學院計算所和軟件所等國內學術單位組織的學術研討活動外，還於2009年10月應邀到微軟亞洲研究院組織的Verified Software Workshop上介紹中心的研究工作。在這次會議上，中心的研究工作得到圖靈獎獲得者C.A.R Hoare教授、周巢塵院士和何積豐院士等權威同行的推崇。何積豐院士在會上介紹中國在近年來高可信軟件方麵的研究工作時，中心的研究成果是他介紹的幾個重點之一。
2010年4月9日，應中法信息、自動化與應用數學聯合實驗室主任Jean-Pierre Jouannaud教授的邀請，中心一行5人到對方進行學術交流，由張昱老師全麵介紹中心的研究工作和成果（見下麵照片），由博士生蔣信予介紹自己近期的研究成果。
圖為張昱老師正在做報告，題目為 “Our Research on Verified Software – Compilation and Verification”
博士後蔣信予做了題為 “Modular Verification of Dynamic Code Loading and Linking”的報告
法國INRIA的研究人員與中心的老師與學生正在熱烈討論問題
這幾年，中心研究人員發表的論文的水平不斷上升，並與耶魯大學的研究人員合作，在編程語言設計和實現領域的一流國際會議PLDI上發表論文3篇。
