格勒诺布尔综合理工学院Jean-Francois Monin 教授来校作报告

时间:2019-05-25 10:20       来源: 网络整理

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

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

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

【 作者:计算机与通信工程学院:陈宗利 来自:本站原创  责任编辑:宋福祯 审核:李振】