9月13日-16日，在“南京航空航天大学境外专家短期来访”项目的支持下，法国国家信息与自动化研究所(INRIA) Thierry Gautier研究员应邀来到计算机学院进行为期3天的学术访问。

9月13日至14日，Thierry Gautier与计算机学院软件工程团队老师进行了学术研讨。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来访再次表示热烈的欢迎，并介绍了南航以及计算机学院的整体情况。Thierry Gautier对计算机学院的热情接待表示感谢并介绍了INRIA的基本情况和特色研究领域。双方就进一步的合作进行了深入讨论，从教师互派交流、学生互派交流、高水平课程建设、国际项目申请、国际联合实验室等各个角度探讨了未来进一步合作的可行性。双方一致高度认可深入合作的必要性，会谈商定了合作交流备忘录，并作为启动程序之一，我院选派博士生到INRIA展开为期半年的学习交流。

学院不断加快国际化办学进程，通过访问、接洽国外计算机科学领域的顶级专家，了解国际科学发展前沿，学习办学经验，吸纳优秀人才和资源，为信息化与“三航”特色深度融合寻找新的支点。

背景链接：法国国家信息与自动化研究所(INRIA) 是法国国家科研机构，重点研究领域为计算机科学、控制理论及应用数学。该研究院于1967年在巴黎附近的罗克库尔创立，直属于法国研究部和法国经济财政工业部。INRIA 是世界著名的科研机构，其计算机学科在世界科研机构学科竞争力排行榜中排名全球第七。