【本站讯】10月23日晚，应计算机与通信工程学院邀请，法国格勒诺布尔综合理工学院、约瑟夫傅利叶大学教授、法国国家科学研究中心(CNRS)研究员Jean-Francois Monin 教授介绍了格勒诺布尔综合理工学院情况及申请程序。 此报告是继Jean-Francois Monin教授来我校做的“Overview of Formal Methods and Applications 形式化方法的概述与应用”报告之后，又一次面向广大学生做的专场报告。

报告中，Jean-Francois Monin教授首先大体地介绍了法国教育模式及高等教育培养人才的情况。接着重点介绍了格勒诺布尔综合理工学院和他们对工程师的培养。之后又系统的阐述了申请留学的程序、选择留学生的步骤。最后就同学们提出的问题进行了解答。

当讲到他们的培养模式时，Jean-Francois Monin教授手绘示意图，系统透彻地介绍了工程师培养的各个层次和在这个模式下学校与学生要完成的事，并用数字精确的说明了人才的需求及输出情况，是同学们对留法有一个更全面，更深刻的了解。

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