跳至主要内容

Formal Method for Embedded System Design

课程简介

本课程介绍了如何用形式化的方法来进行嵌入式系统设计。

先修要求

形式语言、嵌入式系统

教师团队

Course Staff Image #1

主讲教师

Jean-Pierre Talpin

He received a Master degree in Theoretical Computer Science from University Paris VI.
He received Docter degree at Ecole des Mines de Paris under the advisory of Pierre Jouvelot.
He worked three years at the European Computer-Industry Research Centre in Munich.
He joined INRIA in 1995, in the EPART project-team of Paul Le Guernic.
He led INRIA project-team ESPRESSO from 2000 to 2012.
Now, he lead project-team TEA.
He is recipient of the 2004 ACM SIGPLAN Award for the most influential POPL paper, with Mads Tofte, and of the 2012 ACM-IEEE LICS "Test of Time" Award, with Pierre Jouvelot.
He received the 2014 ITEA Award of Excellence for his contribution as work-package leader in the ITEA2 project OPEES (2010-2012), leaded by Gael Blondel.

  1. 课程代码

    M_CS101
  2. 课程开始

    2014/04/01
  3. 总计选修人数

    87
选修
360网站安全检测平台