9月13日-16日，在“南京航空航天大學境外專家短期來訪”項目的支持下，法國國家信息與自動化研究所(INRIA) Thierry Gautier研究員應邀來到伟德victory進行為期3天的學術訪問。

9月13日至14日，Thierry Gautier與伟德victory軟件工程團隊老師進行了學術研讨。9月15日下午，Thierry Gautier研究員于江甯校區計算機科學與技術大樓509會議室作了題為《Polychrony: A Model and an Open-source Toolset for Safety-critical System Design》的學術報告。同步語言(Synchronous Language)為安全關鍵嵌入式軟件設計領域一種重要的建模語言，在空客A350、A380的關鍵子系統中得到廣泛使用。Thierry Gautier研究員從空客A350門禁管理系統的建模與分析出發，詳細給出了多時鐘同步模型(Polychonry)的基本思想，介紹了多時鐘同步語言SIGNAL的語法和形式語義，最後介紹了SIGNAL模型的形式化驗證技術以及自動代碼生成方法。報告中，Thierry Gautier研究員對我校師生提出的問題進行了詳盡的解答，并圍繞相關問題展開了深入讨論。
    在訪問期間，雙方進一步探讨了未來的合作交流、人才培養和引進等事宜。陳兵院長對Thierry Gautier來訪再次表示熱烈的歡迎，并介紹了南航以及伟德victory的整體情況。Thierry Gautier對伟德victory的熱情接待表示感謝并介紹了INRIA的基本情況和特色研究領域。雙方就進一步的合作進行了深入讨論，從教師互派交流、學生互派交流、高水平課程建設、國際項目申請、國際聯合實驗室等各個角度探讨了未來進一步合作的可行性。雙方一緻高度認可深入合作的必要性，會談商定了合作交流備忘錄，并作為啟動程序之一，我院選派博士生到INRIA展開為期半年的學習交流。

學院不斷加快國際化辦學進程，通過訪問、接洽國外計算機科學領域的頂級專家，了解國際科學發展前沿，學習辦學經驗，吸納優秀人才和資源，為信息化與“三航”特色深度融合尋找新的支點。

背景鍊接：法國國家信息與自動化研究所(INRIA) 是法國國家科研機構，重點研究領域為計算機科學、控制理論及應用數學。該研究院于1967年在巴黎附近的羅克庫爾創立，直屬于法國研究部和法國經濟财政工業部。INRIA 是世界著名的科研機構，其計算機學科在世界科研機構學科競争力排行榜中排名全球第七。