约瑟夫·斯发基斯

人物简介

约瑟夫·斯发基斯是著名计算机科学家、国际著名嵌入式系统研究中心 Verimag 实验室创始人、第一位荣获图灵奖的法国研究人员。欧洲科学院院士、法国科学院院士、法国国家工程院院士、美国艺术与科学院院士、美国国家工程院院士。2011 至 2016 年，任洛桑联邦理工学院（Ecole Polytechnique Fédérale de Lausanne）全职教授。2014 至 2016 年，担任希腊研究和技术委员会主席。

主要成就

• 图灵奖得主

详细介绍

约瑟夫·斯发基斯发明了如今广泛应用于工业界的模型检验（Model-Checking）技术（用数学算法来验证一个软件或硬件系统设计是否满足预设的安全性或可靠性需求），该技术在工业检测方面有诸多应用，如芯片检测、通信协议、外部设备主控软件、嵌入式系统（如飞机、火车、火箭、卫星或移动电话）、集成电路设计、安全算法等。因该技术在国际上获得声誉，并因此获得 2007 年度图灵奖。

约瑟夫·斯发基斯曾致力于将科研成果向工业合作伙伴转让，作为欧洲“卓越网络”（Network of Excellence）嵌入式系统设计研究联盟 « ARTIST2 Embedded Systems Design »的技术协调人，主要对 35 个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。