2015-10-19 上海市高可信计算重点实验室代表团访问法国

        2015年10月19-23日，受法国国家自动化研究所（INRIA）主席Michel Cosnard教授和雷恩高师校长 Patrice Quinton教授邀请，上海市高可信计算重点实验室主任何积丰院士率代表团访问了法国国家自动化研究所雷恩分所 （INRIA Rennes）、 雷恩高师和法国国家信息与自动化研究所总部。

       10月20日，上海市高可信计算重点实验室代表团一行参加了雷恩高师主办的可信软件国际合作交流会，何积丰院士、蒲戈光教授、陈仪香教授、朱惠彪教授和宋富博士分别介绍了实验室在形式化方法、建模与测试、嵌入式系统、实时系统和信息安全方法的研究成果和发展规划。Vania Joloboff教授和 Jean Pierre Talpin代表法国国家自动化研究所雷恩分所介绍了该所在建模与测试、实时系统的研究情况，Robert de Simone 教授代表法国国家自动化研究所Sophia分所介绍了该所在实时系统方向的研究进展，里昂高师Daniel Hirschkoff教授和 Anne Benoit教授、荷兰莱顿大学Marcello Bonsangue教授以及爱尔兰都柏林大学圣三一学院 Andrew Butterfield教授分别作了相关介绍。随后，各代表就如何依托上海市高可信计算重点实验室、国家可信软件国际联合中心开展国际学术合作、学术联合培养、教师互访等展开了热烈讨论，形成了以流动制项目为载体的合作方式。

何积丰院士介绍实验室形式化方法研究进展

参会代表讨论国际合作事宜

       10月21日，代表团参观了法国国家自动化研究所雷恩分所，就华东师范大学和法国国家自动化研究所合作项目“大规模分布式系统静默错误的发现及处理研究”和“闲置资源共享的在线服务系统”研究进展、后续合作等问题进行了交流。

代表团参观法国国家自动化研究所雷恩分所

代表团和法国国家自动化研究所合作项目讨论

       10月22日，上海市高可信计算重点实验室代表团与法国国国家自动化研究所主席Michel Cosnard教授、法国国国家自动化研究所国际合作部主任 Thierry Priol教授和中法LIAMA联合实验室欧方主任Jean-Francois Monin等人进行了深入交流，就上海市高可信计算重点实验室、国家可信软件国际联合中心、LIAMA实验室和INRIA的合作规划达成了一致意见。

何积丰院士介绍院国家可信软件国际联合中心

INRIA主席Michel Cosnard教授介绍INRIA和LIAMA国际合作情况