應中科大—耶魯高可信軟件聯合中心的邀請，中法信息、自動化與應用數學聯合實驗室（LIAMA）主任Jean-Pierre Jouannaud教授與研究員Pierre-yves Strub 博士於2009年11月19日至20日來我院進行訪問交流。
Jean-Pierre Jouannaud教授
Pierre-yves Strub 博士
中科大—耶魯高可信軟件聯合中心的研究人員向來訪專家介紹了目前正在開展的操作係統內核驗證與出具證明編譯器研發等方麵的研究工作。Jouannaud教授和Strub博士介紹了LIAMA的組織結構與研究方向，並闡述了目前定理證明輔助工具與決策過程相結合的可能性與亟待解決的問題。
通過兩天的交流，雙方均感到在研究方向和課題上存在頗多的共同興趣，並就高可信軟件聯合中心與INRIA相關實驗室以及LIAMA之間的長期合作進行了初步探討。
LIAMA成立於１９９７年１月，由法國國家信息與自動化研究所（INRIA）和中國科學院共同創立，是中國第一個長期從事基礎研究的中外聯合實驗室。如今，該實驗室已結合法國國家科研中心、清華大學、法國電信、阿爾卡特空間中心、法國中央理工學院等許多中法合作夥伴。
