【本站讯】10月23日晚，应计算机与通信工程学院邀请，法国格勒诺布尔综合理工学院、约瑟夫傅利叶大学教授、法国国家科学研究中心(CNRS)研究员Jean-Francois Monin 教授来校，为大学生介绍了格勒诺布尔综合理工学院情况及申请程序。

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

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