Joseph Sifakis 约瑟夫·斯发基斯

2007年图灵奖
国际嵌入式系统研究中心Verimag名誉高级研究员

国际嵌入式系统研究中心 Verimag 名誉高级研究员。他因“开发可以检测计算机硬件和软件中的设计错误的自动化方法”,与埃德蒙·克拉克和艾伦·爱默生共获2007年图灵奖。

主要奖项及荣誉

2007 年,图灵奖

2011 年,荣誉军团指挥官

2012 年,莱昂纳多·达·芬奇奖章

2017 年,美国国家工程院院士

教育与工作经历

1974 年至今,国际嵌入式系统研究中心 Verimag 实验室 法国国家科学研究中心研究员、现任研究主任(特级)

2009 年至今,法国替代能源和原子能委员会 咨询专家

2009-2011 年,法国教育部数字技术国家战略工作组 主席

2010 年至今,格勒诺布尔智能软件与系统综合研究中心 主任

主要学术成就

约瑟夫·斯发基斯的研究工作具有决定性意义,并且引导出了新的软件规范、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中,以便设计复杂的系统,而且能使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面所能带来的产业影响在未来的几年里将会更加显著。