国际来访

  • 国际来访

法国专家Thierry Gautier来访并洽谈合作事宜

9月13日-16日,法国国家信息与自动化研究所(INRIA) Thierry propecia vs proscar generic propecia Gautier研究员应邀来到我校计算机学院进行为期3天的学术访问。

online canadian pharmacy store! buy zoloft online. express delivery, purchase zoloft canada.

9月13日到14日,Thierry Gautier与计算机学院软件工程团队老师进行了学术研讨。9月15日下午,Thierry Gautier研究员于江宁校区计算机科学与技术大楼会议室作了题目为《Polychrony: cialis A cheap viagra canada Model and an Open-source http://cialispharmacy-online.org/ Toolset order generic viagra for Safety-critical System Design》的学术报告。

同步语言(Synchronous Language)为安全关键嵌入式软件设计领域一种重要的建模语言,在空客A350、A380的关键子系统中得到广泛使用。Thierry Gautier研究员从空客A350门禁管理系统的建模与分析出发,详细给出了多时钟同步模型(Polychonry)的基本思想,介绍了多时钟同步语言SIGNAL的语法和形式语义,最后介绍了SIGNAL模型的形式化验证技术以及自动代码生成方法。报告中,Thierry buy lioresal, baclofen mg, purchase baclofen , lioresal price , buy baclofen , lioresal mg, order lioresal. Gautier研究员对我校师生提出的问题进行了详尽的解答,并围绕相关问题展开了深入讨论。

在访问期间,双方进一步探讨了未来的合作交流、人才培养和引进等事宜。陈兵院长对Thierry Gautier来访再次表示热烈的欢迎,并介绍了南航以及学院的整体情况。Thierry Gautier对计算机学院的热情接待表示感谢并介绍了INRIA的基本情况和特色研究领域。双方就进一步的合作进行了深入讨论,从教师互派交流,学生互派交流,高水平课程建设,国际项目申请,国际联合实验室等各个角度探讨了未来进一步合作的可行性。双方一致高度认可深入合作的必要性,会谈商定了合作交流备忘录,并作为启动程序之一,计算机学院选派博士生到INRIA展开为期半年的学习交流。
国外计算机科学领域顶级专家的来访,为师生了解到国际科学发展前沿、学习先进办学经验、吸纳优秀人才和资源创造了条件,为信息化与“三航”特色深度融合寻找新的支点,不断加快国际化办学进程。

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

dec 27, 2014 – buy cheap generic baclofen online without prescription. more info read more about the prescription drug baclofen – oral. generic

doxycycline 100mg acne doxycycline 100mg dosage for chlamydia doxycycline online

.