中法信息、自动化与应用数学联合实验室来访

2009年11月18日，中法信息、自动化与应用数学联合实验室（LIAMA）主任Jean-Pierre Jouannaud教授与研究员Pierre-yves Strub 博士在科大耶鲁高可信软件联合中心进行为期两天的学术交流。LIAMA是法国国家信息与自动化研究所（INRIA）与清华大学等国内高校合作的联合实验室。本实验室介绍了联合中心以及目前正在开展的项目，博士后郭宇和李兆鹏分别介绍了操作系统内核验证与出具证明编译器的相关工作。Jouannaud教授和Strub博士介绍了LIAMA的组织结构与研究方向，并阐述了目前证明辅助工具与决策过程相结合的可能性与亟待解决的问题。通过两天的交流，双方就感兴趣的研究方向进行了深入的探讨并达成了长期合作交流的共识。

Prof. Jean Pierre