报告题目一：Overview of Formal Methods and Applications 形式化方法的概述与应用

报告时间：2012年10月23日下午3:30

报告地点：计通学院学术报告厅

报告题目二：格勒诺布尔综合理工学院情况介绍以及申请程序介绍

报告时间：2012年10月23日晚上7:30

报告地点：南教204

报告人简介：Jean-Francois Monin，法国格勒诺布尔综合理工学院(Universite de Grenoble )/约瑟夫傅利叶(Joseph Fourier)大学教授、法国国家科学研究中心(CNRS)、中法信息自动化与应用数学联合实验室(LIAMA) 研究员。曾在法国电信研发部门工作，领导一个致力于形式化方法的研究团队，并将其成果成功的应用于工业框架下软件设备正确性的证明。2009年，担任法国国家科学研究中心研究员，并在中法信息自动化与应用数学联合实验室(LIAMA) 从事科研工作。他的研究领域主要包括Coq的理论型证明等，这些证明辅助实现了分布式算法的设计、安全问题的解决和嵌入式软件的实现等各项应用。

研究生院

国际合作与交流处

科技处

计算机与通信工程学院

2012年10月22日